Euclid

imperative programming language for writing verifiable programs

en-GB/juːklɪd/
en-US/ˈjuklɪd/

カテゴリ：

procedural programming languageprogramming language