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

7 months ago

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

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

7 months ago

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

7 months ago

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

7 months ago

laurentbartholdi created repository laurentbartholdi/rubin-lean4

7 months ago