laurentbartholdi

0 Followers · 0 Following

• Joined on Nov 27, 2023

Repositories Packages Public Activity Starred Repositories

Loading Heatmap…

laurentbartholdi created pull request amethyst/rubin-lean4#1

A quick fix to prop 2.1, just to test

1 year ago

laurentbartholdi pushed to fix-prop-2.1 at laurentbartholdi/rubin-lean4

• 6815874923 A quick fix to prop 2.1, just to test

1 year ago

laurentbartholdi pushed to fix-prop-2.1 at laurentbartholdi/rubin-lean4

1 year ago

laurentbartholdi created branch fix-prop-2.1 in laurentbartholdi/rubin-lean4

1 year ago

laurentbartholdi created repository laurentbartholdi/rubin-lean4

1 year ago