This repository was archived by the owner on Jul 24, 2024. It is now read-only.

This branch is 23 commits ahead of master.

Name	Name	Last commit message	Last commit date
Latest commit urkud Merge master into YK-card-fiber-eq (using imerge) Feb 11, 2024 bd29536 · Feb 11, 2024 History 18,294 Commits
.devcontainer	.devcontainer	feat(.docker): Docker containers for debian, alpine, and gitpod (#6515 )	Mar 12, 2021
.docker	.docker	chore(.docker): fix build failure in docker images (#16590 )	Sep 25, 2022
.github	.github	chore(.github/workflows): don't rely on linkifier in maintainer merge…	May 19, 2023
.vscode	.vscode	feat(vscode): add a snippet for inserting a module docstring template (…	Jan 9, 2022
archive	archive	chore(*): add mathlib4 synchronization comments (#19238 )	Jul 16, 2023
counterexamples	counterexamples	chore(*): add mathlib4 synchronization comments (#19238 )	Jul 16, 2023
docs	docs	feat(linear_algebra/quadratic_form): some work from 'Clifford Algebra…	Jul 26, 2023
roadmap	roadmap	chore(topology/*): rename compact_univ to is_compact_univ, and many m…	Nov 9, 2022
scripts	scripts	fix: handle archive and counterexamples correctly when adding port co…	Jul 16, 2023
src	src	Merge master into YK-card-fiber-eq (using imerge)	Feb 11, 2024
test	test	feat(tactic/positivity): Extension for `ite` (#17650 )	Jul 28, 2023
.gitignore	.gitignore	chore: Add toml file for archive and counterexamples (#18388 )	Feb 7, 2023
.gitpod.yml	.gitpod.yml	fix(gitpod): correct command name (#13976 )	May 5, 2022
CITATION.md	CITATION.md	doc(citation.md): Add a citation.md file (#17202 )	Nov 6, 2022
CODE_OF_CONDUCT.md	CODE_OF_CONDUCT.md	Update CODE_OF_CONDUCT.md (#13965 )	May 5, 2022
LICENSE	LICENSE	Initial commit	Jul 21, 2017
OLD_README.md	OLD_README.md	move old README.md to OLD_README.md	Oct 11, 2023
README.md	README.md	move old README.md to OLD_README.md	Oct 11, 2023
bors.toml	bors.toml	ci(bors): set update_base_for_deletes (#17410 )	Nov 7, 2022
leanpkg.toml	leanpkg.toml	fix: bump to Lean 3.51.1 (#19088 )	May 24, 2023