Skip to content

Tags: leanprover-community/lean4-metaprogramming-book

Tags

latest

Toggle latest's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Merge pull request #144 from adomasbaliuka/patch-1

Fixes universe levels in Chapter 03 "Expressions"