This is a quick first-pass explanation. The richer sections — use-cases, tech stack, setup, prompts — are still being generated.
TLDR
# Formalising Mathematics This repository contains course materials for learning how to write mathematical proofs in a programming language called Lean.
Mindmap
A visual breakdown will appear here once this repo is fully enriched.
Code map
DetailAuto
Drag to pan
An interactive map of this repo's files and how they connect — its source is parsed live in your browser. Click Visualize to build it.