Hackernews
new
show
ask
jobs
Autoformalization of mathematical theorems? No shit
1 points
posted 12 hours ago
by surprisetalk
(freedommathdance.blogspot.com)
No comments yet