mathematics_in_lean

My solutions for this book

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