GasStationManager / SafeVerifyLinks

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
22Updated 3 weeks ago

Alternatives and similar repositories for SafeVerify

Users that are interested in SafeVerify are comparing it to the libraries listed below

Sorting: