1 year ago|discuss
user: bvssvni
12 karma | created 9 years ago
recent submissions
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Let's Abandon the Cogito and Use Type Theory Instead
(advancedresearch.github.io)
2 pts|4 years ago|discuss
4 years ago|discuss
Prop v0.8 released Propositional theorem proving in Rust (Logic)
(old.reddit.com)
3 pts|4 years ago|1 comment
Joker Calculus
(github.com)
2 pts|4 years ago|discuss
7 years ago|discuss
4 pts|7 years ago|1 comment