Galen Nickel b0420a8749 Logic Lab mini-course (#2307)
* Logic Lab mini-course

* example syntax
2019-07-23 09:46:42 -07:00
..
2019-07-23 09:46:42 -07:00
2017-06-23 12:28:30 -07:00
2019-07-23 09:46:42 -07:00
2018-10-14 19:23:28 -07:00
2018-02-16 07:09:57 -08:00