Zulip Chat Archive
Stream: Lean for Scientists and Engineers 2024
Topic: Proof about Programs
Tyler Josephson ⚛️ (Aug 07 2024 at 03:04):
Here's a resource I recommend. Accessible explanation of recursion, program termination, and Lean 4. https://busy-beavers.tigyog.app/proofs-about-programs
Last updated: May 02 2025 at 03:31 UTC