Taub 5
Sessions
- Session 135A (Aug 12 09:30-10:30) Libraries
- Session 137A (Aug 12 11:00-12:30) Automation and Tooling
- Session 138A (Aug 12 14:00-15:30) Presenting and Working with Coq Code
- Session 139A (Aug 12 16:00-17:00) Coq and its Ecosystem