An open API service indexing awesome lists of open source software.

https://github.com/clarus/coq-hoq

Experiments to compile the standard library of HoTT independently.
https://github.com/clarus/coq-hoq

Last synced: about 2 months ago
JSON representation

Experiments to compile the standard library of HoTT independently.

Awesome Lists containing this project

README

        

# Hoq

Experiments to compile the standard library of HoTT independently.