An open framework for reasoning in finite systems that cannot fully verify themselves from inside their own process
Latest commits.
Builders behind this project.
