Quantitative Type Theory implementation
Haskell
54
44 commits
updated Jun 2, 2021
A toy implementation of Quantitative Type Theory12, with subusaging.
McBride, C. (2016). I got plenty o’nuttin’. In A List of Successes That Can Change the World (pp. 207-233). Springer, Cham. ↩
Atkey, R. (2018, May). The syntax and semantics of quantitative type theory. In 33rd ACM/IEEE Symp. on Logic in Computer Science (LICS’18). ↩
AndrasKovacs/setoidtt
Prototype implementations of systems based on setoid type theory
66
mortberg/yacctt
yacctt: Yet Another Cartesian Cubical Type Theory
77
AndrasKovacs/sett
Setoid type theory implementation
41
oyy2000/Quantization_LLM
0
isovector/thinking-with-types
📖 source material for Thinking with Types
497
JetBrains/arend-lib
85
leanprover/TensorLib
A verified tensor library in Lean
49
digama0/lean-type-theory
LaTeX code for a paper on lean's type theory
171
100.0%
