Topic: "lambdapi"
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
Language: OCaml - Size: 560 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 6 - Forks: 3
elhaddadyacine/ekstrakto Fork of Deducteam/ekstrakto
Extract TPTP problems from a TSTP trace and reconstruct the proof in lambdapi (λΠ-calculus modulo theory).
Language: OCaml - Size: 117 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
