×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [record demoney]
1 Proposal for a specification of Demoney in Coq. Jean Duprat LIP, ENS-Lyon
221 views
Proposal for a specification of Demoney in Coq
32 views