rokitna2022-7-12 11:57:52there’s also the F* programming language: https://en.wikipedia.org/wiki/F*_(programming_language)\|https://en.wikipedia.org/wiki/F*_(programming_language)