website/content
2022-05-16 20:00:26 -04:00
..
blog New Post 2022-05-16 17:24:24 -04:00
community Updated theme and rearranged files to agree with hugo standard 2020-03-01 09:47:54 -05:00
notes Rewrote notes page 2022-05-02 00:06:29 -04:00
presentations Theme update 2022-05-05 21:23:39 -04:00
projects Updated theme 2022-05-16 20:00:26 -04:00
research Added new section on automated theorem proving 2022-05-16 18:21:53 -04:00
ta Added recitation 2022-05-01 01:08:27 -04:00
toots Toot update 2022-05-16 17:06:28 -04:00
_index.md Updated theme 2022-05-05 20:45:05 -04:00
elsewhere.md New Page 2022-05-08 23:29:56 -04:00
now.md Added now page 2022-05-15 17:18:54 -04:00
publications.md Moved publications page 2022-05-16 18:21:16 -04:00
subscribe.md Subscribe page 2022-05-16 18:39:34 -04:00
transcript.md Updated theme 2022-05-16 20:00:26 -04:00