substructural-logics topic

List substructural-logics repositories

msla2014

24
Stars
2
Forks
Watchers

wherein I implement several substructural logics in Agda

verified publisher icon wenkokke