search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 9 forks source link

Formula typecode converter #104

Closed tirix closed 1 year ago

tirix commented 1 year ago

Adds a new public API convert_typecode to convert a formula to a given typecode. This is typically used to convert a formula with typecode set to class.