6 Commits

Author	SHA1	Message	Date
tb	5514f21fef	Update to lean 3.48.0	2022-08-31 14:13:50 +00:00
tb	58cbeb16e8	Update lean to 3.42.1	2022-03-29 13:09:38 +00:00
tb	bbcae7bf41	Update to lean 3.42.0	2022-03-21 20:56:25 +00:00
naddy	ab45f39af6	drop RCS Ids	2022-03-11 19:36:11 +00:00
tb	05471fbccc	math/lean: update to 3.35.1	2021-11-09 11:24:29 +00:00
tb	6b6f6db46f	import math/lean, ok sthen ... Lean is an open source theorem prover and programming language. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs.	2021-08-16 20:19:23 +00:00