blog
|
Added new tracks section to website
|
2022-05-29 12:54:43 -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
|
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
|
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
|
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 |