Skip to content

UniMath/agda-unimath

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

86b1582 · Apr 16, 2024
Mar 11, 2024
Mar 11, 2024
Mar 23, 2024
Apr 16, 2024
Apr 11, 2024
Mar 6, 2024
Mar 11, 2024
Jun 28, 2023
Mar 10, 2023
Feb 22, 2024
Nov 24, 2023
Mar 13, 2023
Jun 28, 2023
Sep 18, 2023
Nov 6, 2023
Nov 6, 2023
Mar 11, 2024
Feb 6, 2024
Nov 26, 2023
Apr 11, 2024
Nov 24, 2023
Mar 1, 2024
Jun 22, 2023
Nov 25, 2023
Mar 11, 2024
Mar 13, 2023
Apr 11, 2024
Apr 15, 2024
Mar 12, 2024
Mar 13, 2023
Mar 11, 2024
Mar 19, 2023
Apr 15, 2024
Mar 11, 2024
Nov 25, 2023
Mar 11, 2024
Mar 11, 2024

Repository files navigation

The agda-unimath library

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.

Links

  1. The agda-unimath website
  2. Discord
  3. Twitch
  4. Benchmarks