Projects in Awesome Lists tagged with substructural-logics
A curated list of projects in awesome lists tagged with substructural-logics .
https://github.com/wenkokke/msla2014
wherein I implement several substructural logics in Agda
agda paper substructural-logics
Last synced: 04 Mar 2026