FernandoChu/HoTT-Book-Agda FernandoChu/HoTT-Book-Agda

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Agda
  • License
    GNU General Publi...
  • Created over 2 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FernandoChu/HoTT-Book-Agda
github

FernandoChu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The content of the HoTT book formalized in Agda

More Repositories

1

nom-parser-lexer-example

Using nom to lex and parse a calculator
Rust
2
star
2

tapl-hakell

Implementation in Haskell of Benjamin Pierce's Types and Programing Languages book
Haskell
1
star
3

MastersThesis

Formalization of my thesis in Agda
TeX
1
star