The Lean 4 Theorem Prover and Programming Language

Moura, Leonardo de, Ullrich, Sebastian · Lecture Notes in Computer Science · 2021