Gauss, an Agent for Autoformalization

3 points | by andy12_ 4 hours ago