Def why2

Modification history

2024-06-30 04:52
test/UnusedTactic.lean
feat: unused tactic linter (#11308) …
Added why2View on Github →