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