Mixing Computations and Proofs. Beeson, M. Journal of Formalized Reasoning, 9(1):71-99, 2016.
Mixing Computations and Proofs [pdf]Pdf  bibtex   5 downloads  

Downloads: 5