Fix https://www.foom.com/pappus_proofPappus#00000000000000000155

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

Closed Mttbnchtt closed 9 months ago

Mttbnchtt commented 9 months ago

This is item is without label. Find what the right label is.

Mttbnchtt commented 9 months ago

Completed.