GitHub - fredrik-bakke/agda-unimath: Univalent mathematics in Agda

The agda-unimath library is a community formalization project for univalent mathematics in Agda. The library project was created by Elisabeth Stenholm, Jonathan Prieto-Cubides, and Egbert Rijke, and is currently being maintained by Egbert Rijke, Fredrik Bakke, and Vojtěch Štěpančík. Our goal is to formalize an extensive curriculum of mathematics from the univalent point of view. Furthermore, we think libraries of formalized mathematics have the potential to be useful, and informative resources for mathematicians. Our library is designed to work towards this goal, and we welcome contributions to the library about any topic in mathematics.

Name		Name	Last commit message	Last commit date
Latest commit History 2,760 Commits
.github/workflows		.github/workflows
.vscode		.vscode
scripts		scripts
src		src
tables		tables
theme		theme
website		website
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.prettierignore		.prettierignore
.prettierrc.json		.prettierrc.json
ART.md		ART.md
CITATION.cff		CITATION.cff
CITE-THIS-LIBRARY.md		CITE-THIS-LIBRARY.md
CITING-SOURCES.md		CITING-SOURCES.md
CODINGSTYLE.md		CODINGSTYLE.md
CONTRIBUTING.md		CONTRIBUTING.md
CONTRIBUTORS.toml		CONTRIBUTORS.toml
DESIGN-PRINCIPLES.md		DESIGN-PRINCIPLES.md
FILE-CONVENTIONS.md		FILE-CONVENTIONS.md
GRANT-ACKNOWLEDGEMENTS.md		GRANT-ACKNOWLEDGEMENTS.md
HOME.md		HOME.md
HOWTO-INSTALL.md		HOWTO-INSTALL.md
LICENSE.md		LICENSE.md
MIXFIX-OPERATORS.md		MIXFIX-OPERATORS.md
Makefile		Makefile
README.md		README.md
STATEMENT-OF-INCLUSION.md		STATEMENT-OF-INCLUSION.md
TEMPLATE.lagda.md		TEMPLATE.lagda.md
USERS.md		USERS.md
agda-unimath.agda-lib		agda-unimath.agda-lib
book.toml		book.toml
flake.lock		flake.lock
flake.nix		flake.nix
references.bib		references.bib

License

fredrik-bakke/agda-unimath

Folders and files

Latest commit

History

Repository files navigation

Links

About

Resources

License

Stars

Watchers

Forks

Languages