search

UniMath / Schools

77 stars 21 forks source link

make the Coq code of the Birmingham school usable, again #1

Closed rmatthes closed 6 years ago

rmatthes commented 6 years ago

These are updates of the .v files that were accessible on the school's web site. Unfortunately, there were already quite some compilation problems due to changes in UniMath, in particular concerning the natural numbers.

benediktahrens commented 6 years ago

Great, thanks a lot. I guess what is missing is a link on the Workshop web site to this repository, right?

rmatthes commented 6 years ago

Since you thus approved my PR, I am happy to point to that repo - even before a solution to long-term maintenance has been found.