Zulip Chat Archive
Stream: Equational
Topic: axiom checking
David Renshaw (Oct 03 2024 at 18:23):
In equational#242, I add axiom checking, to make sure that nobody is cheating.
David Renshaw (Oct 03 2024 at 19:07):
ugh, this breaks @[equational_result] conjecture.
David Renshaw (Oct 03 2024 at 19:07):
Fix incoming...
David Renshaw (Oct 03 2024 at 19:21):
equational#245 should fix it
Last updated: May 02 2025 at 03:31 UTC