Euclid

imperative programming language for writing verifiable programs

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

Categorías:

procedural programming languageprogramming language