search

advancedresearch / hooo

Propositional logic with exponentials
Apache License 2.0
15 stars 1 forks source link

Added some stuff to "std/excm.hooo" #291

Closed bvssvni closed 7 months ago