Hackernews
new
show
ask
jobs
Junk Theorems in Lean
2 points
posted 8 hours ago
by saithound
(github.com)
No comments yet