Euclid

imperative programming language for writing verifiable programs

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

श्रेणियाँ:

procedural programming languageprogramming language