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: 803b947a09f3db5a52c6c529e3761a53
tags: 645f666f9bcd5a90fca523b33c5a78b7