Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mobile_application
|
| gptkbp:accessible_at |
https://leanprover-community.github.io/lean-web-editor/
|
| gptkbp:enables |
collaborative editing
|
| gptkbp:maintainedBy |
gptkb:Lean_community
|
| gptkbp:provides |
interactive theorem proving
|
| gptkbp:runs_in |
gptkb:website
|
| gptkbp:supports |
gptkb:Lean_theorem_prover
|
| gptkbp:usedFor |
formalizing mathematics
writing Lean code |
| gptkbp:bfsParent |
gptkb:Lean_community
|
| gptkbp:bfsLayer |
9
|
| https://www.w3.org/2000/01/rdf-schema#label |
Lean web editor
|