Buy Me a Coffee at ko-fi.com

Euclid

imperative programming language for writing verifiable programs

Pronunciation
/ˈjuːklɪd/
/ˈjuklɪd/