243 followers
The Lean Theorem Prover (System Description). - Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van… http://t.co/5Dk1WWwg83
The Lean Theorem Prover (System Description). - Leonardo Mendonça de Moura, Soonho Kong, Jeremy Avigad, Floris van… http://t.co/5Dk1WWwg83