GasStationManager / SafeVerifyLinks

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
21Updated this week

Alternatives and similar repositories for SafeVerify

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

Sorting: