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

Published 20 hours ago • verified publisher icon BFO-ontology

Reminder for list of theorems and their proofs

Open wceusters opened this issue 1 year ago • 1 comments

wceusters avatar Mar 18 '23 18:03 wceusters

Related to #111

alanruttenberg avatar Sep 26 '24 00:09 alanruttenberg