Zulip Chat Archive
Stream: lean4
Topic: proofs about functions not guaranteed to terminate
Paige Thomas (Oct 21 2024 at 02:40):
(deleted)
Paige Thomas (Oct 21 2024 at 02:54):
(deleted)
Paige Thomas (Oct 21 2024 at 03:57):
(deleted)
Last updated: May 02 2025 at 03:31 UTC