3 ms·OpenGauss: An open source, state of the art autoformalization harness for Lean2 points by mindcrime 7mo ago