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
Open
feat(frontends/lean/pp): use forall notation for all pi types from a Type to a Prop#770kmill wants to merge 9 commits into
kmill wants to merge 9 commits into
Commits
Commits on Sep 19, 2022
Commits on Sep 23, 2022
- committed
- committed
- committed
- committed
