Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Java_programming_language
|
| gptkbp:developed_by |
gptkb:Ulf_Norell
|
| gptkbp:first_released |
gptkb:2007
|
| https://www.w3.org/2000/01/rdf-schema#label |
Agda compiler
|
| gptkbp:license |
gptkb:GNU_General_Public_License
|
| gptkbp:operating_system |
cross-platform
|
| gptkbp:paradigm |
dependently typed programming
|
| gptkbp:programming_language |
gptkb:Agda
|
| gptkbp:supports |
interactive theorem proving
|
| gptkbp:used_for |
formal verification
|
| gptkbp:website |
https://agda.readthedocs.io
|
| gptkbp:bfsParent |
gptkb:Agda
|
| gptkbp:bfsLayer |
5
|