Skip to content

WIP: Lean initialization#73

Draft
oeb25 wants to merge 1 commit into
moves-rwth:mainfrom
oeb25:lean-init
Draft

WIP: Lean initialization#73
oeb25 wants to merge 1 commit into
moves-rwth:mainfrom
oeb25:lean-init

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

7992eeb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs