search

dannypsnl / blackboard

Do random math in Lean.
0 stars 0 forks source link

Every even perfect number has Euclid form #1

Open dannypsnl opened 2 months ago