Formalising Mathematics

Contents:

Introduction
Installing Lean
Part 1: Lean tips
Part 2: Tactics

Formalising Mathematics

Index

Index

© Copyright 2025, Bhavik Mehta.

Built with Sphinx using a theme provided by Read the Docs.