BFO-2020 icon indicating copy to clipboard operation
BFO-2020 copied to clipboard

Published 20 hours ago • verified publisher icon BFO-ontology

FEATURE: [Distinguish axioms from theorems in the BFO FOL]

Open alanruttenberg opened this issue 5 months ago • 1 comments

Distinguish axioms from theorems in the BFO FOL. I've code that tries to prove each formula from the rest. Take the ones that are proven and mark them as theorems.

alanruttenberg avatar Sep 26 '24 00:09 alanruttenberg