Categorical Logic Notes
81
50 commits
updated Mar 3, 2022
anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
56
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
135
yifan1130/chain_of_thought
0
abuseofnotation/category-theory-illustrated
A book about category theory
486
zhengkid/Parallel_Thinking_via_MoT
Official Code for "Learning to Reason via Mixture-of-Thought for Logical Reasoning"
33
Sajidsaj/True-Math
2
koaning/notebooks
Notebook for safekeeps
30
DamilolaAdegunwa/ai_course
