Comment on TheoremDB – A public workspace for machine mathematicsparentComments−whattheheckheck1mohttps://github.com/math-inc/OpenGausshttps://www.math.inc/visionJust use lean
Comments
https://github.com/math-inc/OpenGauss
https://www.math.inc/vision
Just use lean