dan/HITs-Examples
1
0
Fork 0
mirror of https://github.com/nmvdw/HITs-Examples synced 2026-09-18 08:10:23 +02:00
Code Issues Releases Wiki Activity
Files
27d78e1e75177a05624b31bf788c445fc55f4e2a
HITs-Examples/README.md
T
Dan Frumin 75120ba602 Update the README
2017-05-18 17:46:00 +02:00

283 B
Raw Blame History

HITs-Coq

Needed: https://github.com/HoTT/HoTT

More information on the work is in HITs.pdf.

Building

Make sure that you have hoqc installed. Then generate the Makefile and build the project:

coq_makefile -f _CoqProject -o Makefile
make
Reference in New Issue View Git Blame Copy Permalink