A Learning Environment for Theorem Proving with the Coq proof assistant - View it on GitHub