Thmpr

Intelligent Machines Laboratory

Enter the IML

Open-source cc-sa license. GitHub v0.1.0

Correct by construction 💯️

software compiles only if it satisfies specification constraints

Machine Intelligence

adaptive asynchronous code on distributed fault-tolerant networks

Proof carrying code 🔒️

algorithms packaged with machine-verified proofs of correctness