amethyst
/
rubin-lean4
1
0
Fork 1
Code Issues Pull Requests 1 Packages Projects Releases Wiki Activity
51 Commits
2 Branches
0 Tags
1.2 MiB

Default Branch

main

ee3cdfe13b · :up_arrow: Upgrade mathlib · Updated 4 months ago

Branches

laurent-lost-commits

def2e9c37c · 💄 added Emilie to authors · Updated 4 months ago
2
2
Delete Branch

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes