Skip to content

Add a Theory node to the FOL syntax tree#24

Merged
ZachJHansen merged 1 commit intomasterfrom tobias/fol_add_theory_nodeNov 3, 2023
+45-3

Commits

Commits on Nov 3, 2023