iwilare/categorical-qtl

Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories

Language: Agda - Size: 409 KB - Last synced at: 11 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0