Skip to content

v1.4.21

Choose a tag to compare

View all tags
@abderrahim-lectures abderrahim-lectures released this 25 Jul 13:31
· 84 commits to master since this release
v1.4.21
c45cc06
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

See changelog/v1.4.21.md:

  • Added a Π vs Σ comparison table to Chapter 1 §5 (notation, generalizes-what, categorical reading, Lean syntax, logic special case, witness-extraction asymmetry).
  • Caught and fixed a Pandoc table-rendering bug (empty header cell) along the way.
Assets 4
Loading