Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theorem prover
|
| gptkbp:application |
gptkb:mathematics
formal verification |
| gptkbp:developer |
gptkb:Microsoft_Research
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lean 2
|
| gptkbp:latestReleaseVersion |
2017-01-23
2.2.4 |
| gptkbp:license |
gptkb:Apache_License_2.0
|
| gptkbp:platform |
Cross-platform
|
| gptkbp:programmingLanguage |
gptkb:Lean
|
| gptkbp:releaseYear |
2015
|
| gptkbp:successor |
gptkb:Lean_3
|
| gptkbp:website |
https://leanprover.github.io/lean2/
|
| gptkbp:writtenBy |
gptkb:C++
|
| gptkbp:bfsParent |
gptkb:Lean_3
|
| gptkbp:bfsLayer |
7
|