3 ms·
What a time to be alive stuff. https://github.com/anthropics/fermats-last-theorem/blob/main/verification/comparator/Solution.lean#L5 https://github.com/anthrop
by mcapodici 29d ago
What a time to be alive stuff.
https://github.com/anthropics/fermats-last-theorem/blob/main/verification/comparator/Solution.lean#L5 https://github.com/anthropics/fermats-last-theorem/blob/main...