add 'proof step cites proposition'

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

Closed Mttbnchtt closed 4 months ago

Mttbnchtt commented 4 months ago

Also use the new object property in Pappus' proof and add related datalog rule.

Mttbnchtt commented 4 months ago

Completed.