🌱
Melvin's digital garden
Search site
software verification
verified compilers, interpreters
ACL2 theorem prover
Jitawa, Milawa
TLA
https://deepspec.org/
Links to this note
Programming languages