portfolio/_posts/2023-02-05-bookshelf.md

452 B

layout title categories tags href image
post Bookshelf home
lean
latex
nix
https://bookshelf.jrpotter.com lean.svg

A collection of books I am actively studying. Usually mathematics or computer-science based, I aim to prove concepts as I encounter them using the Lean{:target="_blank"} interactive theorem prover. All proofs are also available in LaTeX{:target="_blank"}.