A formal proof that decisions stumps are PAC learnable.

For more information, check out the wiki.

Getting it working

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.