#

proof-runner

Here is 1 public repository matching this topic...

jishengyang-cal / gatl-proof-runner

External proof-result normalization and comparison tool for GATL proof target fixtures

formal-methods alloy gatl cubical proof-runner

Updated Jun 14, 2026
Rust

Improve this page

Add a description, image, and links to the proof-runner topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-runner topic, visit your repo's landing page and select "manage topics."