GitHub repository: sankalpgambhir/ol-interpolation
Primary language: Scala
Created: 2023-08-29T14:06:16Z
Description: Simple implementation for proof search and sequent interpolation in orthologic