feat: apply_rfl tactic: handle Eq, HEq, better error messages #4196
Triggered via pull request
September 19, 2024 17:48
leanprover-community-bot
leanprover-community-bot
labeled
#3714
Status
Skipped
Total duration
2s
Artifacts
–