14 lines
416 B
Markdown
14 lines
416 B
Markdown
---
|
|
layout: post
|
|
title: Bookshelf
|
|
categories: home
|
|
tags: [latex, lean, nix]
|
|
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/) interactive theorem prover. All proofs are also
|
|
available in [LaTeX](https://www.latex-project.org/).
|