Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Florian Rabe
Details
OL Work ID
OL36064561W
Find this book
Open Library