Def verifyFakeRfl

Modification history

2026-10-23 11:07
MathlibTest/TacticAnalysis.lean
chore: modulize most of MathlibTest (#45134) …
Deleted verifyFakeRflView on Github →
2026-04-27 14:17
MathlibTest/TacticAnalysis.lean
refactor: elimate string manipulation in `TacticAnalysis.verifyTryThisSuggestions` (#37917) …
Added verifyFakeRflView on Github →