LeanUtils

Lean scripts for indexing sorries and verifying proofs