issues
search
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
API changes
#41
Closed
tirix
closed
2 years ago
tirix
commented
2 years ago
added accessors to information requiring
parse_result()
, which is not public anymore,
added a
Frame
reference, with iterators on essential and floating formulas,
append_to_stack_buffer
is needed as an external API, to build proofs,
added an iterator over all statements of the database, which was otherwise not accessible anymore,
added an implementation of
Debug
for
FormulaRef
fixed a few comments
parse_result()
, which is not public anymore,Frame
reference, with iterators on essential and floating formulas,append_to_stack_buffer
is needed as an external API, to build proofs,Debug
forFormulaRef