Gauss, an Agent for Autoformalization
(math.inc)
11 points
by auggierose
2 days ago |
1 comment
()