miscelleaneous

Random Lean experiments

Nuke mostly blank README

Changes

1 changed files (+0/-1)