Andreas Lynge
Results
2
issues of
Andreas Lynge
In PR https://github.com/HoTT/HoTT/pull/1425, I changed coq-dpdgraph to a custom version at my repository. There is a task in changing this back to the main repository at https://github.com/Karmaki/coq-dpdgraph.git.
cleanup
ci
I have a HoTT branch https://github.com/andreaslyn/HoTT/tree/ssr with support for all the basic ssreflect tactics. The goal is to be able to build math components with HoTT and hopefully without changing...
programming
feature request
discussion