mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4
# Sphinx build info version 1
# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
config: 52b95d1cbc5ae4f410fd1f171141e2ae
tags: 645f666f9bcd5a90fca523b33c5a78b7