GasStationManager/SafeVerify

A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions

LeanStars 26Forks 2Watchers 26Open issues 3License Apache License 2.0

Details

仓库信息

OwnerGasStationManager

Homepage—

Last pushed2025-09-29

Last updated2025-12-14

Issues fetched at—

Community at a glance