| Type | proof assistant, programming language |
|---|---|
| Latest version | 1.3.1 |
| Website | dcs.ed.ac.uk |
Sources: Wikidata (CC0) · Wikidata Q3205992
| Type | proof assistant, programming language |
|---|---|
| Latest version | 1.3.1 |
| Website | dcs.ed.ac.uk |
Sources: Wikidata (CC0) · Wikidata Q3205992