Skip to content

Mathlib-n
Compare
Choose a tag to compare
@MarufHasan24 MarufHasan24 released this 25 Sep 14:34
· 37 commits to master since this release
v4.0.31-beta
360791f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Mathlib-n , a dynamic library of math. From now it's a open source project. Means you can contribute here.

What's Changed

New Contributors

Full Changelog: https://github.com/MarufHasan24/mathlib/commits/v4.0.31-beta

Contributors

MarufHasan24
Assets 2
Loading