All Categories → No Category → substructural-logics

Top 1 substructural-logics open source projects

wherein I implement several substructural logics in Agda

✭ 24

Agda ruby paper agda substructural-logics

1-1 of 1 substructural-logics projects