Alphard

Pascal-like programming language for data abstraction and verification

Wikidata: Q4735267

Search on GitHub


Latest data update: 2022-09-16