Scoped authorization for AI-shaped scientific work
Claude Code plugin for formal agent contracts — define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and auto-generate contract tests for spec-driven multi-agent development
systemet is a stratified type theory. The name is system + ET, where ET stands for Equality Theory — because the one primitive relation the whole system keeps at the bottom is equality, and everything else is layered above it as discipline rather than added as new relations.
Engineering services for interoperability in distributed systems with explicit guarantees, qualified runtimes and independent verification.
Add a description, image, and links to the proof-obligations topic page so that developers can more easily learn about it.
To associate your repository with the proof-obligations topic, visit your repo's landing page and select "manage topics."