Skip to content

Merge branch 'main' of https://github.com/leanprover-community/plausible

aaf19db
Select commit
Loading
Failed to load commit list.
Open

feat: lift to expressions, vacuous and random_search tactics #7

Merge branch 'main' of https://github.com/leanprover-community/plausible
aaf19db
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs