Robert Y. Lewis

Robert Y. Lewis

Lecturer at Brown University. Proof assistants, formal mathematics, logic, computation.

Logic and Modeling course information

less than 1 minute read

Published:

In Spring 2020, I taught the course Logic and Modeling at the VU. The course was held entirely online due to the COVID-19 pandemic.

I have collected the course information, lecture recordings, and assignments here. (While the archive does not contain all the information that was on Canvas, it contains most of the material fit for public consumption.)

Instructors interested in teaching with the Logic and Proof text may find the recorded lectures of some use!

You May Also Enjoy

The Lean mathematical library

less than 1 minute read

Published:

Along with a number of other contributors, I have written a paper about the Lean mathematical library. The paper describes a large-scale, open project to which 68 people (and counting) have contributed. Rather than attribute the paper to some subset of this group, we decided to release it as a community effort. (Update, Nov 28: our paper has been accepted at CPP!)