Lean Now Ships with Verified Kernels

Leonardo de Moura — Creator of Lean and Z3

191 points by matt_d 5 days ago leodemoura.github.io 68 comments

Summary not yet generated for this article.

Comments (68 of ) ⌛

Loading more comments... ⌛

Scroll down to load more comments

No comments available.