A Learning Environment for Theorem Proving with the Coq proof assistant
Removed the old Singularity support and added Docker.