Derivations as computations

Stream: general

[Olli]

I watched Andrej Bauer's ICFP 2019 talk about a proof assistant he has been working on. I have time-stamped the part that's more generally about proof assistants rather than his one specifically, but the whole talk was interesting:

https://youtu.be/YZqOVsuyQyQ?t=1616