Zulip Chat Archive
Stream: Lean Together 2019
Topic: Embedded Domain Specific Proof Languages
Simon Hudon (Jan 10 2019 at 16:57):
Here are the slides to my talk from yesterday. They include a link to the code base and the lines that I use for the demo.
slides.pdf
Last updated: Dec 20 2023 at 11:08 UTC