Alphard

Pascal-like programming language for data abstraction and verification

Wikidata: Q4735267

Search on GitHub


Latest data update: 2026-05-29