/sequent-calc

Experiments with sequent calculi

Primary LanguageIdris

Stargazers

No one’s star this repository yet.