Skip to content

feat(frontends/lean/pp): use forall notation for all pi types from a Type to a Prop#770

Open
kmill wants to merge 9 commits into
masterfrom
kmill_pp_forall
Open

feat(frontends/lean/pp): use forall notation for all pi types from a Type to a Prop#770
kmill wants to merge 9 commits into
masterfrom
kmill_pp_forall

test showing limitation

cf3b7c5
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs