Stream: Program verification
Topic: stream events
Notification Bot (Apr 28 2020 at 13:09):
Stream created by Mario Carneiro.
Simon Hudon (Apr 28 2020 at 13:32):
James King (Apr 29 2020 at 13:29):
Indeed! Has anyone been using Lean for this purpose?
Sebastian Ullrich (Apr 29 2020 at 13:33):
It was back in the Lean 2 days, but, https://github.com/Kha/electrolysis
i've just finished writing a bit about design by contract with Lean https://techualization.blogspot.com/2020/05/design-by-contract-with-lean-theorem.html. not the right way to do things in Lean, so i'm expecting many critiques.
Kevin Buzzard (May 03 2020 at 22:42):
You could use the community web editor instead of the official one, but maybe it makes no difference to you
Kevin Buzzard (May 03 2020 at 22:43):
I think that in either one you can make URLs which have the code already pasted in
Bryan Gin-ge Chen (May 03 2020 at 22:53):
Probably this would be better discussed in a dedicated thread, and not in "stream events".
Last updated: May 08 2021 at 21:09 UTC