About Me
// Hello, World !
Top Answers
Top Questions
-
Failing termination check with a with-abstraction
3 votes1 answers
-
Proof about a function that uses rewrite: a "vertical bars in goals" question
2 votes1 answers