Autoformalization of mathematical theorems? No shit

1 point by surprisetalk 1 day ago | 0 comments