Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: - Mathematical logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37: Add to Reading List Document Date: 2015-06-08 12:08:26 Open Document File Size: 757,68 KB Share Result on Facebook Company Microsoft / Hp / / Facility Hq Hp Once / Building Theories / / IndustryTerm domain-general search methods / mechanical and hybrid systems / software speciﬁcations / Computer algebra systems / foundational systems / online tutorial system / search procedures / cartesian product / mathematical software packages / web version / software systems / / Person Jeremy Avigad / Soonho Kong / Leonardo de Moura / / Position editor / Lean editor / / ProgrammingLanguage Javascript / / Technology ASCII / network protocols / / SocialTag Formal systems Automated theorem proving Logical syntax Propositional calculus Mathematical proof Deduction theorem Theorem Proof assistant Axiom Logic

Theorem Proving in Lean Jeremy Avigad Leonardo de Moura Soonho Kong Version df39393, updated at:37:Add to Reading List