Zulip Chat Archive

Stream: Program verification

Topic: stream events


view this post on Zulip Notification Bot (Apr 28 2020 at 13:09):

Stream created by Mario Carneiro.

view this post on Zulip Simon Hudon (Apr 28 2020 at 13:32):

Good idea

view this post on Zulip James King (Apr 29 2020 at 13:29):

Indeed! Has anyone been using Lean for this purpose?

view this post on Zulip Sebastian Ullrich (Apr 29 2020 at 13:33):

It was back in the Lean 2 days, but, https://github.com/Kha/electrolysis

view this post on Zulip Nam (May 03 2020 at 21:57):

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.

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip 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