blanchette/logical_verification_2020
Companion files for Logical Verification 2020–2021 at VU Amsterdam
Lean
Watchers
- abentkamp
- arademakerIBM Research and EMAp/FGV
- blanchetteLudwig-Maximilians-Universität München
- dwbcampbellWaterloo, Ontario, Canada
- eemailme
- gamma1210Amsterdam, Netherlands
- gebnerMicrosoft Research
- JackDrurySydney, Australia
- jhcloos
- JLimpergLMU Munich
- leetroutTriad-Triangle NC
- letrec
- llelf
- robertylewisBrown University
- sorawee
- t4nt0
- Vierkantor
- wangbiu