A formal proof that decisions stumps are PAC learnable.
For more information, check out the wiki.
We assume you have leanpkg installed.
git clone https://github.com/jtristan/stump-learnable
cd stump-learnable
leanpkg configure
leanpkg build
This project only works with Lean version 3.4.2.