skip to main
|
skip to sidebar
Interactive Theorem-Proving
16 September 2008
Ex nihilo
I’ve created this blog so as to give myself an OpenID. But I suppose it’s just possible I’ll become seduced by the whole interface and use it for more than just that.
Newer Post
Home
About Me
Michael
Australia
I am a computer science researcher working for NICTA.
View my complete profile
Interactive Theorem Proving Systems
ACL2
Coq
HOL Light
HOL4
Isabelle
Mizar
PVS
Twelf
Blog Archive
►
2011
(1)
►
January
(1)
ITP 2011
►
2010
(3)
►
March
(1)
Robin Milner has died
►
February
(1)
Online Prover Repositories
►
January
(1)
Call for Papers for ITP 2010
▼
2008
(2)
▼
September
(2)
The conference of the same name
Ex nihilo