About 2 results for "UChK06HeqIYUM1QpKsR4ke3A"

Kernel Reduction Explosion: a surprisingly inefficient computation in Lean 4

David Renshaw • Dec 25, 2023

Lean 4 formalization of 1964 International Mathematical Olympiad Problem 4

David Renshaw • Sep 25, 2023