Leslie Lamport: Thinking Above the Code
Video Statistics and Information
Channel: Microsoft Research
Views: 72,104
Rating: 4.9347825 out of 5
Keywords:
Id: -4Yp3j_jk8Q
Channel Id: undefined
Length: 59min 50sec (3590 seconds)
Published: Tue Jul 15 2014
Please note that this website is currently a work in progress! Lots of interesting data and statistics to come.
Great talk
Does anyone have experience with both TLA+ and Idris/Agda? I wonder if doing proofs on your actual code is better or if it is too cumbersome / does not yield as much information.
at a certain point, i can't tell if it's a hobo or a engineer.