website/content
2022-05-21 00:14:44 -04:00
..
blog New post 2022-05-21 00:14:44 -04:00
community
notes
presentations
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
toots Update toots 2022-05-20 18:09:28 -04:00
_index.md
elsewhere.md
now.md
publications.md Publication update 2022-05-19 22:18:50 -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