Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Library
|
| gptkbp:available_on |
gptkb:Git_Hub
|
| gptkbp:contains |
algorithms
data structures |
| gptkbp:developed_by |
Agda team
|
| https://www.w3.org/2000/01/rdf-schema#label |
Agda standard library
|
| gptkbp:latest_version |
latest version 2023
|
| gptkbp:programming_language |
gptkb:Agda
|
| gptkbp:provides |
mathematical proofs
|
| gptkbp:supports |
dependent types
|
| gptkbp:used_in |
gptkb:political_theory
formal verification |
| gptkbp:written_in |
gptkb:Agda
|
| gptkbp:bfsParent |
gptkb:Agda
|
| gptkbp:bfsLayer |
5
|