The Lean Theorem Prover (system description) Leonardo de Moura1 , Soonho Kong2 , Jeremy Avigad2 , Floris van Doorn2 and Jakob von Raumer2* 1 - Lean theorem prover - Document - PDFSEARCH.IO

First Page	Meta Content
	The Lean Theorem Prover (system description) Leonardo de Moura1 , Soonho Kong2 , Jeremy Avigad2 , Floris van Doorn2 and Jakob von Raumer2* 1 Add to Reading List Document Date: 2016-06-07 10:54:54 Open Document File Size: 107,00 KB Share Result on Facebook

The Lean Theorem Prover (system description) Leonardo de Moura1 , Soonho Kong2 , Jeremy Avigad2 , Floris van Doorn2 and Jakob von Raumer2* 1Add to Reading List