Zulip Chat Archive
Stream: Is there code for X?
Topic: Automation
Tanner Duve (May 31 2024 at 17:56):
Is there an equivalent to Coq's "auto" tactic?
Shreyas Srinivas (May 31 2024 at 17:58):
Aesop comes close
Shreyas Srinivas (May 31 2024 at 17:58):
Although I don't know whether they are equivalent in any formally defined sense
Last updated: May 02 2025 at 03:31 UTC