Coq homotopy-type-theory Projects
Homotopy type theoryProject mention: Homotopy Type Theory | news.ycombinator.com | 2021-06-23
HoTT is somewhat independent of the choice of proof assistant.
idk what you mean by "blue screened", or results being on the way. afaict most of the non-foundational work present (what I assume you mean by "results") in these libraries are basic properties of basic mathematical concepts being rebuilt on HoTT.
Coq homotopy-type-theory related posts
What is the benefit of using a text editor like MikTex, Texmaker, etc. over Overleaf?
1 project | reddit.com/r/LaTeX | 1 Apr 2021
Are you hiring? Post a new remote job listing for free.