Skip to content

Allow unification between terms - #78

Open
jrosain wants to merge 1 commit into
GoelandProver:masterfrom
jrosain:unify-terms
Open

Allow unification between terms#78
jrosain wants to merge 1 commit into
GoelandProver:masterfrom
jrosain:unify-terms

clean: remove TermForm and unify terms

d00902b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.