2023-12-17 15:16:04 +00:00
|
|
|
---
|
|
|
|
|
layout: post
|
|
|
|
|
title: Bookshelf
|
|
|
|
|
categories: home
|
2023-12-24 05:00:26 +00:00
|
|
|
tags: [latex, lean, nix]
|
2023-12-17 15:16:04 +00:00
|
|
|
href: "https://bookshelf.jrpotter.com"
|
|
|
|
|
image: 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](https://lean-lang.org/){:target="_blank"} interactive theorem prover. All
|
|
|
|
|
proofs are also available in [LaTeX](https://www.latex-project.org/){:target="_blank"}.
|
