Published in
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016
Links
Tools
A modular, efficient formalisation of real algebraic numbers
Proceedings article published in 2016 by
Wenda Li,
Lawrence C. Paulson
This paper is available in a repository.
Full text: Download
Published version:
archiving forbidden
Data provided by 