search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
189 stars 50 forks source link

UniMath release changed from October '23 to March '24 #408

Closed rmatthes closed 7 months ago

rtetley commented 7 months ago

Thanks !