Skip to content

UniMath 2024-03-31

Latest
Latest
Compare
Choose a tag to compare
@rmatthes rmatthes released this 31 Mar 11:13
· 16 commits to master since this release
v20240331
1054856
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

This is the UniMath library of univalent mathematics as of 2024-03-31.

Assets 2