jdoughertyii/hott-exercises jdoughertyii/hott-exercises

  • Stars
    star
    10
  • Rank 1,802,541 (Top 36 %)
  • Language Coq
  • License
    MIT License
  • Created over 10 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jdoughertyii/hott-exercises
github

jdoughertyii

Reviews

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

Repository Details

Exercises from The HoTT Book by hand and by Coq

More Repositories

1

PyVCF

A Variant Call Format reader for Python.
Python
73
star
2

hott-species

Combinatorial species in HoTT
Coq
11
star