Skip to content

feat: remove invasive index in formulas and terms - #71

Open
jrosain wants to merge 27 commits into
GoelandProver:masterfrom
jrosain:remove-indexes
Open

feat: remove invasive index in formulas and terms#71
jrosain wants to merge 27 commits into
GoelandProver:masterfrom
jrosain:remove-indexes

clean: remove the useless method RenameVariables

654b0f3
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.