search

wilbowma / cur

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

fix `and` in `stdlib/bool` #78

Closed stchang closed 6 years ago

wilbowma commented 6 years ago

lol how did I do that