Zulip Chat Archive
Stream: general
Topic: todo axiom
Bernd Losert (Nov 29 2021 at 19:40):
Is there like a todo axiom that I can use in places where I don't know the definition/proof?
Kyle Miller (Nov 29 2021 at 19:42):
sorry
Kyle Miller (Nov 29 2021 at 19:43):
In a proof you can use the tactics sorry or admit (they're synonyms)
Bernd Losert (Nov 29 2021 at 19:43):
Sweet. Thanks.
Last updated: Aug 03 2023 at 10:10 UTC