Agda implementation of focusing in the negative fragment of intuitionistic logic
Primary LanguageAgda
No issues in this repository yet.