1 result found Sort:

ekmett
linear-logic ekmett
2
83
other
6
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
math proof haskell chu-spaces linear-logic category-theory
Created 2021-03-28
48 commits to main branch, last one 3 years ago