Skip to content

groupoid/anders

Error
Looks like something went wrong!

About

🧊 Модальний гомотопічний верифікатор математики

anders.groupoid.space

Topics

dependent-types proof-assistant cubical-type-theory type-system theorem-prover type-checker mltt

Resources

Readme

License

View license
Activity
Custom properties

Stars

22 stars

Watchers

0 watching

Forks

2 forks
Report repository

Releases 5

Univalence Latest
Jan 27, 2022
+ 4 releases

Contributors 2

Languages