Lean, Coq ou Isabelle

By Rishit