Development of the univalent foundations of mathematics in Coq

- Homepage
- http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
- Total stars
- 202
- Stars per day
- 0
- Created at
- 9 years ago

Related Repositories

- HoTT-Agda
- Development of homotopy type theory in Agda
- axiom
- Axiom is a free, open source computer algebra system
- samtools
- Tools (written in C using htslib) for manipulating next-generation sequencing data
- HoTT
- Homotopy type theory
- l4v
- seL4 specification and proofs
- macross
- Macross 6502, the assembler written by Lucasfilm Ltd. that was used for Habitat and SCUMM
- mindless-coding
- Mindless, verified (erasably) coding using dependent types
- latex3
- The LaTeX3 Development Repository
- broom
- Convert statistical analysis objects from R into tidy format
- cubical
- Implementation of Univalence in Cubical Sets

Development of homotopy type theory in Agda

- Total stars
- 308
- Related Repositories
- Link

Axiom is a free, open source computer algebra system

- Homepage
- http://axiom.axiom-developer.org
- Total stars
- 179
- Related Repositories
- Link

Tools (written in C using htslib) for manipulating next-generation sequencing data

- Homepage
- http://htslib.org/
- Total stars
- 865
- Language
- C
- Related Repositories
- Link

Homotopy type theory

- Homepage
- http://homotopytypetheory.org/
- Total stars
- 804
- Related Repositories
- Link

seL4 specification and proofs

- Total stars
- 262
- Related Repositories
- Link

Macross 6502, the assembler written by Lucasfilm Ltd. that was used for Habitat and SCUMM

- Total stars
- 134
- Language
- C
- Related Repositories
- Link

Mindless, verified (erasably) coding using dependent types

- Total stars
- 105
- Related Repositories
- Link

The LaTeX3 Development Repository

- Homepage
- http://latex-project.org/latex3.html
- Total stars
- 750
- Related Repositories
- Link

Convert statistical analysis objects from R into tidy format

- Total stars
- 927
- Related Repositories
- Link

Implementation of Univalence in Cubical Sets

- Total stars
- 118
- Related Repositories
- Link