Commit graph

9 commits

Author SHA1 Message Date
Oliver Kennedy 56b47078a0
Minor tweaks 2020-12-15 17:26:40 -05:00
Oliver Kennedy 3c37847847
Abstract pass 2020-12-15 10:52:58 -05:00
Boris Glavic ce19cec017 abstract 2020-12-11 21:02:37 -06:00
Boris Glavic b4ac63abef abstract 2020-12-11 20:46:50 -06:00
Boris Glavic 18a34457ad abstract 2020-12-11 20:39:13 -06:00
Boris Glavic 92dfeca9ed UCQs 2020-12-11 18:54:26 -06:00
Boris Glavic 470b8b4aff abstract 2020-12-11 18:50:53 -06:00
Aaron Huber aaf920e9a3 More work on lemmas 3, 4, and lin sys. 2020-12-04 13:14:12 -05:00
Aaron Huber c204c9fc61 More tweaks to Introduction 120220. 2020-12-02 16:30:42 -05:00