Finished MetaCoq part
Pre-release
Pre-release
·
23 commits
to main
since this release
The second MetaCoq chapter, on formalization of bidirectional typing, is added. As usual, there’s also some more polishing.