HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Convergence Verification of the Collatz Problem
github.com/xbarin02
discuss
6 years ago
beefman
1 points
32.
▲
Show HN: TypeScript as a proof assistant for intuitionistic propositional logic
gist.github.com
3 comments
a year ago
xxmarijnw
17 points
33.
▲
Show HN: Simple peer-to-peer screen sharing
github.com/screensy
1 comment
5 years ago
xxmarijnw
3 points
34.
▲
Haskell-dev-env – An opinionated pre-built Dev Container for Haskell
github.com/marijnvanwezel
discuss
a year ago
xxmarijnw
2 points