issues
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
10
forks
source link
Misc API changes
#37
Closed
digama0
closed
2 years ago
digama0
commented
2 years ago
DB passes are now separated into
get
and
get_or_insert
style methods. Fixes #24 (not the follow on stuff though)
SegmentSet
and any function referencing it is now
pub(crate)
.
Implement
FormulaRef
and the display impl. The debug impl is TODO.
Most uses of
&Arc<T>
in parameters are replaced with
&T
, unless cloning is actually required in the body.
get
andget_or_insert
style methods. Fixes #24 (not the follow on stuff though)SegmentSet
and any function referencing it is nowpub(crate)
.FormulaRef
and the display impl. The debug impl is TODO.&Arc<T>
in parameters are replaced with&T
, unless cloning is actually required in the body.