website/content
2022-06-11 22:54:02 -04:00
..
blog Moved images to blog subfolder 2022-06-11 22:54:02 -04:00
community
notes Changed PDF notes to markdown notes 2022-06-11 20:09:26 -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
toots Updated theme 2022-06-02 20:22:53 -04:00
tracks New tracks 2022-06-11 16:42:52 -04:00
_index.md Updated theme 2022-05-05 20:45:05 -04:00
elsewhere.md Added OpenStreetMap profile 2022-05-24 09:08:54 -04:00
now.md Added now page 2022-05-15 17:18:54 -04:00
publications.md Reworded section headings in publications page 2022-05-30 14:26:23 -04:00
stats.md Added stats page 2022-05-29 14:24:20 -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