Autoformalization of mathematical theorems? No shit

1 pointsposted 12 hours ago
by surprisetalk

No comments yet