Skip to content

Commit e6df856

Browse files
author
catalan
committed
renamed BeaverMathOlympiad
1 parent fdf0463 commit e6df856

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

FormalConjectures/Other/BeaverMathOlympiad.lean renamed to FormalConjectures/Other/BusyBeaverMathOlympiad.lean

File renamed without changes.

0 commit comments

Comments
 (0)