miscelleaneous

Random Lean experiments

Commits at 7944918e340596e8382f8478b4ea93b1095576af

  1. 7944918e Add everything Anthony Wang authored at Anthony Wang comitted at
  2. 95c34a47 Initial commit Anthony Wang authored at Anthony Wang comitted at