Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
ACM Digital Library