search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

Universe polymorphism would be cool #25

Open wilbowma opened 9 years ago