Found 1 repositories(showing 1)
AlexKnauth
Playing around with how to reason about functions defined with `Program Fixpoint` and `Equations` in Coq
All 1 repositories loaded