notebook: query to find goals of proofs and items related to them - Githubissues

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

notebook: query to find goals of proofs and items related to them #86

Open Mttbnchtt opened 6 months ago

Mttbnchtt commented 6 months ago

Found reification values.

Mttbnchtt commented 6 months ago

To-do: conceptually related items.