Euclid

imperative programming language for writing verifiable programs

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

Kategoriler:

procedural programming languageprogramming language