checklist.day

Boogie

JSON →
cli 2.4.1+dfsg ·c#
✓ install reviewed
testing

Verifiable programming language compiler and verification tool.

Resources

homepageresearch.microsoft.com/en-us/projects/boogie/ ↗

API endpoints

full doc /v1/registry/boogie
install /v1/registry/boogie/install