search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Python tool to ingest steps #18

Closed Mttbnchtt closed 2 years ago

Mttbnchtt commented 2 years ago

Part 1: import the steps, ingest reifications of statements, and assign each of them to the right step. Part 2: make all steps different.

Mttbnchtt commented 2 years ago

Part 3: ingest dependencies of steps.

Mttbnchtt commented 2 years ago

Part 4: link steps to proof.

Mttbnchtt commented 2 years ago

I completed parts 1, 2, and 4. It remains part 3 to do.

Mttbnchtt commented 2 years ago

Completed.