Export a new API giving access to a proof's logical steps

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

26 stars 11 forks source link

Closed tirix closed 2 years ago

tirix commented 2 years ago

This is exposing functionality for a (still very basic) server for Metamath web pages.