laurentbartholdi
/
rubin-lean4
forked from amethyst/rubin-lean4
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
15 Commits
2 Branches
0 Tags
323 KiB

Default Branch

main

fc12acb37b · ✨ Implement most of proposition 2.1 · Updated 10 months ago

Branches

fix-prop-2.1

6815874923 · A quick fix to prop 2.1, just to test · Updated 10 months ago
0
1
 amethyst/rubin-lean4#1 Open
Delete Branch

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

No
Yes