Closed jacobneu closed 1 year ago
Generalizes the syntactic poset & syntactic category constructions to work with arbitrary deductive calculi
Generalizes the syntactic poset & syntactic category constructions to work with arbitrary deductive calculi