This website works better with JavaScript.
Explore
Help
Sign In
Sign In via Github
amethyst
/
rubin-lean4
Watch
1
Star
0
Fork
You've already forked rubin-lean4
1
Code
Issues
Pull Requests
1
Packages
Projects
Releases
Wiki
Activity
Compare commits
merge into: amethyst:main
Branches
Tags
amethyst:main
amethyst:laurent-lost-commits
laurentbartholdi:fix-prop-2.1
laurentbartholdi:main
...
pull from: laurentbartholdi:main
Branches
Tags
laurentbartholdi:fix-prop-2.1
laurentbartholdi:main
amethyst:main
amethyst:laurent-lost-commits
These branches are equal. There is no need to create a pull request.