Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
fennecs | Dark Hacker News
user:
fennecs
created:
April 7, 2021
karma:
250
about:
fennecs.xyz
submissions
comments
1.
Holbert: An Interactive Theorem Prover
(github.com)
68 points
by
fennecs
3 years ago
|
9 comments