[
NOTE: We have delayed our submission dates by a week to bring ourselves
into line with our co-conference, APLAS.
Come to sunny Australia to escape the northern winter!
]
CALL FOR PAPERS
===
Third International Conference on Certified Programs and Proofs (CPP 2013)
--
(* Apologies for multiple copies *)
---
FINAL CALL FOR PAPERS
---
The 5th International Workshop on
Programming Languages for Mec
Here's a reasonable version of a miz3 interface for HOL Light. Thanks to
Vince, Freek and Petros for helping me out!
I believe this is the end of this parser-based discussion, so allow me to
summarize. It's good for formal proofs to readable, especially if you want to
attract mathematician
