Commit graph

8 commits

Author SHA1 Message Date
abbd0e8670
Small changes 2024-03-12 20:57:41 -04:00
b220bbf1a2
Added talk 2024-01-27 12:11:18 -05:00
4e3a2566b3
Added new talks 2023-10-31 01:33:26 -04:00
1bb95f36d7
Fixed links 2023-09-26 17:43:41 -04:00
97ca8e6b4b
Link to new post 2023-03-27 22:42:11 -04:00
b64844fb34
Added link to example TPTP code 2023-03-27 11:05:18 -04:00
e8c9b33f2d
Updating links 2023-02-09 20:17:52 -05:00
8a93e4fb70
Updated logic group page with latest talk 2023-02-01 19:36:10 -05:00
Renamed from content/community/logic-reading-group.md (Browse further)