GitHub repository: Deducteam/B-pog-translator
Primary language: OCaml
Created: 2022-12-07T16:26:26Z
Description: Translate a POG file into a lambdapi file