log

age author description
Fri, 19 Oct 2018 10:27:35 -0400 Adam Chlipala Two new coursesdefault tip
Mon, 17 Sep 2018 19:50:48 -0400 Adam Chlipala Link to Ottawa CSI 5137
Sun, 25 Mar 2018 13:03:34 -0400 Adam Chlipala Link to RIT CSCI 740
Sun, 07 Jan 2018 11:53:31 -0500 Adam Chlipala Update for extraction to work in Coq 8.7, which unfortunately at last breaks compatibility with Coq versions before 8.6
Mon, 18 Dec 2017 17:05:53 -0500 Adam Chlipala MIT 6.822
Fri, 10 Nov 2017 19:02:44 -0500 Adam Chlipala Two more users
Fri, 10 Nov 2017 18:49:56 -0500 Adam Chlipala Two more classes seemingly going on now
Tue, 17 Oct 2017 21:14:14 -0400 Adam Chlipala Link to Harvard CS260r
Mon, 18 Sep 2017 10:16:51 -0400 Adam Chlipala Cornell course
Sat, 09 Sep 2017 18:37:30 -0400 Adam Chlipala More accurate header for course links
Sat, 09 Sep 2017 18:36:00 -0400 Adam Chlipala Used in class at U. Maryland
Sat, 09 Sep 2017 11:42:10 -0400 Adam Chlipala Used in class at U. Kansas
Sat, 19 Aug 2017 12:14:40 -0400 Adam Chlipala Merge
Sat, 19 Aug 2017 12:14:26 -0400 Adam Chlipala Add Amazon OneLink
Wed, 12 Jul 2017 14:57:20 -0400 Adam Chlipala RSS update