Timeline for Aesop Tactic in Lean
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 10 at 11:14 | comment | added | rwst |
Can you please add a link to the SimpleGraph ruleset? Is there a place where aesop rulesets are collected?
|
|
| Jun 6, 2023 at 3:46 | vote | accept | Alex Byard | ||
| Jun 6, 2023 at 3:46 | comment | added | Alex Byard | Thank you! I'll go ahead and see the README for aesop. I'm not familiar with writing such wrappers, so I guess I was just a bit lost. | |
| Jun 6, 2023 at 3:10 | history | answered | Kim Liesinger | CC BY-SA 4.0 |