Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
fennecs
250 karma
Joined April 7, 2021
65 submissions
fennecs.xyz
fennecs | Better HN
Recent submissions
1
Holbert: An Interactive Theorem Prover
(opens in new tab)
(github.com)
68
fennecs
3y ago
9
