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