Hackernews
new
show
ask
jobs
The Map: Mathematics Autoformalization Project
1 points
posted 7 hours ago
by Anon84
(twitter.com)
No comments yet