refreshing

eyereasoner · Apr 10, 2024 · b932216 · b932216
1 parent 082e1d9
commit b932216
Show file tree

Hide file tree

Showing 47 changed files with 1 addition and 52,224 deletions.
diff --git a/reasoning/lingua/proof/ackermann.trig b/reasoning/lingua/proof/ackermann.trig
diff --git a/reasoning/lingua/proof/acp.trig b/reasoning/lingua/proof/acp.trig
diff --git a/reasoning/lingua/proof/backward.trig b/reasoning/lingua/proof/backward.trig
diff --git a/reasoning/lingua/proof/complement.trig b/reasoning/lingua/proof/complement.trig
diff --git a/reasoning/lingua/proof/complex.trig b/reasoning/lingua/proof/complex.trig
diff --git a/reasoning/lingua/proof/derived.trig b/reasoning/lingua/proof/derived.trig