Gauss, an Agent for Autoformalization(math.inc)6 points·by andy12_·10개월 전·0 commentsmath.incGauss, an Agent for Autoformalizationhttps://www.math.inc/gauss0 commentsPost comment—