ccz181078 / Coq-BB5
☆190Updated 2 weeks ago
Alternatives and similar repositories for Coq-BB5:
Users that are interested in Coq-BB5 are comparing it to the libraries listed below
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆364Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 11 months ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆288Updated this week
- Natural Number Game☆153Updated last week
- Server to host lean games.☆246Updated this week
- The agda-unimath library☆243Updated this week
- White-box automation for Lean 4☆248Updated this week