Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

Language: Rocq Prover - Size: 673 KB - Last synced at: about 6 hours ago - Pushed at: 1 day ago - Stars: 8 - Forks: 5