Update Kernel helper, serialization, and more.

Next step: rest of TPTP parsing, utils.fol, utils.prooflib.
epfl-lara · Oct 11, 2024 · 414f027 · 414f027
1 parent f62a926
commit 414f027
Show file tree

Hide file tree

Showing 25 changed files with 789 additions and 4,548 deletions.
diff --git a/lisa-kernel/src/main/scala/lisa/kernel/fol/CommonDefinitions.scala b/lisa-kernel/src/main/scala/lisa/kernel/fol/CommonDefinitions.scala