Brandon Rozek 51ed1f63b6 Added OpenStreetMap profile		2022-05-24 09:08:54 -04:00
..
blog	Merge pull request #2 from Brandon-Rozek/merge-22-05-24-1	2022-05-24 13:07:43 +00:00
community
notes
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	New toots	2022-05-23 19:52:30 -04:00
_index.md
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	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