Path	Lines of Code
tests/test_validate_proof.lean	55