on 9/7/12 5:48 PM, Cris Perdue c...@perdues.com wrote:
What I was talking about though is ease of use of software products,
and a proof assistant is definitely a software product. To get many
people to use a software product, especially one that is not just a
minor variation on one
Mark wrote:
on 9/7/12 5:48 PM, Cris Perdue c...@perdues.com wrote:
What I was talking about though is ease of use of software products,
and a proof assistant is definitely a software product. To get many
people to use a software product, especially one that is not just a
minor
Hello Mark and All,
I noticed Mark's publication Introducing HOL Zero, and the abstract
mentions a Common HOL Platform. Can anyone point me to a definition of this?
Thanks,
Cris
--
Live Security Virtual Conference
