Zulip Chat Archive
Stream: new members
Topic: code extraction
Patrick Thomas (Feb 13 2022 at 18:10):
Is there a way to extract a verified Haskell program or something similar from Lean code?
Karl Palmskog (Feb 13 2022 at 19:03):
see here for Lean's closest analogue: https://leanprover.zulipchat.com/#narrow/stream/236446-Type-theory/topic/Exists.20elimination/near/270037712
Patrick Thomas (Feb 13 2022 at 19:07):
Thank you.
Last updated: Dec 20 2023 at 11:08 UTC