This website works better with JavaScript.
Explore
Help
Sign In
Sign In via Github
laurentbartholdi
/
rubin-lean4
forked from
amethyst/rubin-lean4
Watch
1
Star
0
Fork
You've already forked rubin-lean4
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
16
Commits
2
Branches
0
Tags
323 KiB
fix-prop-2.1
fix-prop-2.1
main
Branches
Tags
${ item.name }
Create tag
${ searchTerm }
Create branch
${ searchTerm }
from 'fix-prop-2.1'
${ noResults }
Commit Graph
1 Commits (fix-prop-2.1)
Author
SHA1
Message
Date
laurentbartholdi
6815874923
A quick fix to prop 2.1, just to test
10 months ago