Skip to content

lean: add expr and syntax + some subst & quantifier stuff

7992eeb
Select commit
Loading
Failed to load commit list.
Draft

WIP: Lean initialization #73

lean: add expr and syntax + some subst & quantifier stuff
7992eeb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs