blog
|
Adding tags
|
2022-05-21 00:14:26 -04:00 |
notes
|
Rewrote notes page
|
2022-05-02 00:06:29 -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
|
Added recitation
|
2022-05-01 01:08:27 -04:00 |
toots
|
Update toots
|
2022-05-20 18:09:28 -04:00 |
_index.md
|
Updated theme
|
2022-05-05 20:45:05 -04:00 |
elsewhere.md
|
New Page
|
2022-05-08 23:29:56 -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 |