HITs-Examples/README.md

mirror of https://github.com/nmvdw/HITs-Examples
# HITs-Coq

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

In the pdf more can be found on HITs and the work.
Update README.md 2017-01-02 13:07:50 +01:00			`# HITs-Coq`

			`Needed: https://github.com/HoTT/HoTT`
Update README.md 2017-01-02 13:43:42 +01:00
			`In the pdf more can be found on HITs and the work.`