SafeVerifyv0.1.0
A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
1-1 of 1 packages depending on GasStationManager/SafeVerify
Sort by
Package Name
GasStationManager/CodeProofTheArenauses
672dcbfLean coding problem solving challenge website with proof verification