HOL
http://list.mathlibre.org/wiki/?HOL
[
トップ
] [
編集
|
凍結
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
http://hol.sourceforge.net/
HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programming environment in which theorems can be proved and proof tools implemented.
HOL88->HOL90->HOL98->HOL4; Omega HOL
ProofPower
HOL
GTT->HOL Light
Isabelle HOL
:not yet:
Counter: 345, today: 1, yesterday: 1
最新の20件
2024-03-29
NZMATH
2022-09-13
GeoGebra/acos
2022-07-30
XplorMath
2022-03-15
FrontPage
AutoTicketLinkName
GeoGebra/lissajous3
PukiWiki/1.4/Manual/Plugin/E-G
Gambit
MacOSX
DebianMenuSystem/Icon
KNOPPIX/Math/Project
K3DSurf
KSEG/wavefront
Pascal
MSRI
aaa
jReality
math-polyglot
AMS-LaTeX
PLT
Last-modified: 2015-01-09 (金) 18:44:24
Link:
ProofPower