miscelleaneous

Random Lean experiments

Add MIT license although this repo is a bit of legal minefield since lots of the code snippets are from other people I'm not a lawyer 🤷

Changes

1 changed files (+21/-0)