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
2019-07-23 09:46:42 -07:00
2019-07-23 09:46:42 -07:00
2019-07-23 09:46:42 -07:00
2019-07-23 09:46:42 -07:00