-
Developing System MathNat for Automatic Formalization of Mathematical texts
There is a wide gap between the language of mathematics and itsformalized versions. The term "language of mathematics" or"mathematical language" refers to prose that... -
Some General Results About Proof Normalization
International audience
