issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
review 2 steps in Aristotle's proof that have no reification properties
#39
Closed
Mttbnchtt
closed
11 months ago
Mttbnchtt
commented
11 months ago
Explore addition of FOL formulas to graph.
Mttbnchtt
commented
11 months ago
Completed.
Explore addition of FOL formulas to graph.