integrated linear domain expl

imldresden · Nov 11, 2024 · b8903bd · b8903bd
1 parent 0bf50bc
commit b8903bd
Show file tree

Hide file tree

Showing 5 changed files with 695 additions and 721 deletions.
diff --git a/frontend/public/js/proof/rules/cd/linear/ge.html b/frontend/public/js/proof/rules/cd/linear/ge.html