brando90 / autoformalization Goto Github PK
View Code? Open in Web Editor NEWThis project forked from not-gary/autoformalization
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
License: Apache License 2.0