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
update-mathlib ## optional
leanpkg build