GitHub repository: xiaoshihou514/ndpc
Primary language: Scala
Description: Natural deduction proof compiler