A repo for exploring various possible applications of Lean4 including but not limited to
- doing proofs homework
- program verfication
- developping and prototyping new dsl's and macros
- modifying lean's parser and compiler
Mini projects within Lean4Test are tracked as github issues.