Re:Arend: Theorem Prover Based on Homotopy Type Theory by Je...
by Odomontois on Wednesday August 07, 2019 @09:45AM
(#20634614)
This repo was my first learning project.
I barely knew Idris, and have no experience with HoTT.
Please don't judge the language referring to this.
You can refer nice code here https://github.com/JetBrains/arend-lib
[ Parent
| on HN ]
There are no comments on this comment yet.