user: fennecs
250 karma | created 4 years ago
recent submissions
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Holbert: An Interactive Theorem Prover
(github.com)
68 pts|3 years ago|9 comments
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss
3 years ago|discuss