Online Repository Containing Formalized Proofs

Gabe Rivera

paper · 2026-04-26

Recommended

“We also point to an online repository containing formalized proofs of all our results using the lean4 proof assistant”