Euclid

imperative programming language for writing verifiable programs

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

카테고리:

procedural programming languageprogramming language