Skip to content

feat: De-Bruijn Style Nameless Bound Variables - #79

Open
jrosain wants to merge 30 commits into
GoelandProver:masterfrom
jrosain:anonymous-de-bruijn
Open

feat: De-Bruijn Style Nameless Bound Variables#79
jrosain wants to merge 30 commits into
GoelandProver:masterfrom
jrosain:anonymous-de-bruijn

upd: test-suite output update with nameless variables

591af82
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.