website/content
2023-03-27 19:19:34 -04:00
..
blog Medium syndication metadata 2023-03-10 12:41:04 -05:00
community Added link to example TPTP code 2023-03-27 11:05:18 -04:00
menu Updated recipe after cooking tonight 2023-03-27 19:19:34 -04:00
notes Changed PDF notes to markdown notes 2022-06-11 20:09:26 -04:00
observations@332473efd5 Updated submodules 2023-03-09 23:53:02 -05:00
paper Modified feed type to include links in title 2022-09-23 15:12:58 -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 Truth Functional Expansions 2023-02-19 23:47:34 -05:00
ta Added recitation 2022-05-01 01:08:27 -04:00
tags Updating theme 2022-11-23 00:56:37 -05:00
toots@3da97532fe Updating submodules 2023-03-10 10:40:57 -05:00
tracks Added last two trails 2022-10-17 00:11:57 -04:00
_index.md Updated theme 2022-05-05 20:45:05 -04:00
contact.md Light page edits 2023-03-10 12:40:38 -05:00
elsewhere.md Removed tumblr, added Dev.to to elsewhere page 2023-01-30 11:10:57 -05:00
now.md Added now page 2022-05-15 17:18:54 -04:00
offline.md Light page edits 2023-03-10 12:40:38 -05:00
publications.md Added link to GandALF paper 2022-09-20 22:20:57 -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