sequents
sequents copied to clipboard
Proof search for intuitionistic propositional logic using Dyckhoff's LJT.
Results
2
sequents issues
Sort by
recently updated
recently updated
newest added
Add some mlb files so that `sequents` can be built with `mlton` as well. `mlton` does not seem to like unicode, though there is probably a workaround.