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