Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover
(github.com/tsvibt)
3 points
tbt
3 years ago
discuss
2.
▲
Show HN: Multi-Dimensional Spreadsheets in Vim
(github.com/tsvibt)
2 points
tbt
4 years ago
1 comment