Brandon Rozek df2a063d1f Added stats page		2022-05-29 14:24:20 -04:00
..
blog	Added new tracks section to website	2022-05-29 12:54:43 -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	Updated toots	2022-05-29 12:55:17 -04:00
tracks	Added new tracks section to website	2022-05-29 12:54:43 -04:00
_index.md
elsewhere.md	Added OpenStreetMap profile	2022-05-24 09:08:54 -04:00
now.md
publications.md	Added stats page	2022-05-29 14:24:20 -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