CakeML - formally verified subset of Standard ML

projects programming-language

programming-language, functional-programming, standard-ml, formal-verification

affine July 12, 2024, 7:08am 1

https://cakeml.org/

Home
Categories
Guidelines

Powered by Discourse, best viewed with JavaScript enabled