## Stream: concrete semantics

### Topic: Status report

#### Simon Hudon (Mar 06 2019 at 22:03):

How far have people come? I'm done with chapter 3

#### Simon Hudon (Jan 11 2020 at 02:35):

@Harrison Grodin Hi! Here is the stream I was telling you about earlier

#### Jasmin Blanchette (Feb 07 2020 at 18:59):

BTW the parts on operational semantics, Hoare logic, and denotational semantics were the inspiration for the corresponding parts in our Lean course. The porting was done by Johannes Hölzl. You'll find our files here, in "lean/love{08,09,10}*.lean":

https://github.com/blanchette/logical_verification_2019


And our still rapidly evolving lecture notes at

https://github.com/blanchette/logical_verification_2019/blob/master/logical_verification_in_lean.pdf


#### Simon Hudon (Feb 07 2020 at 19:00):

Thanks!

Last updated: May 18 2021 at 10:14 UTC