ICMS2010 HOL
- http://www.proof-technologies.com/
9/15 現在、アクセスできず。(WEB HOST CURRENTLY DOWN) だそうで。
- A new HOL system
- Free and open source
- Implemeted in OCaml
- Much smaller than the other HOL systems
- Can import proofs from other HOL systems
:not yet:
Last-modified: 2015-01-09 (金) 18:44:24