About
Tags
More ▼

Bookmarks - Tagged with "lean"

Doing a math assignment with the Lean theorem prover

formal-methods, math, lean

© 2015 - 2024 Jakob L. Kreuze

Unless otherwise specified, the text and images on this site are free culture works available under the Creative Commons Attribution Share-Alike 4.0 International license.

This website is built with Haunt, a static site generator written in Guile Scheme. The source code is available here.

JavaScript license information