Skip to content

Added reasoning to the creation of oeo-full.omn#1465

Merged
areleu merged 11 commits intodevfrom feature-1124-infer-axioms-after-buildingDec 1, 2023

Commits

Commits on Feb 1, 2023

Commits on Feb 14, 2023

Commits on May 22, 2023

Commits on Jun 15, 2023

Commits on Dec 1, 2023