GitHub topics: lambdapi
Deducteam/rocq-hollight-logic
Translation of HOL-Light's Logic library in Rocq
Language: Rocq Prover - Size: 748 KB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 1 - Forks: 2
Deducteam/rocq-hollight-logic-unif
Translation in Rocq of HOL-Light's Logic library until unify using hol2dk
Language: Rocq Prover - Size: 600 KB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 0 - Forks: 2
Deducteam/lambdapi-stdlib
Repository of Lambdapi developments
Language: Answer Set Programming - Size: 127 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 7 - Forks: 9
Deducteam/coq-hol-light-real-with-N
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers
Language: Rocq Prover - Size: 160 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 2 - Forks: 5
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
Language: Rocq Prover - Size: 690 KB - Last synced at: 3 days ago - Pushed at: 5 days ago - Stars: 7 - Forks: 6
Deducteam/opam-lambdapi-repository
Opam repository of Lambdapi libraries
Language: Shell - Size: 25.4 KB - Last synced at: 3 days ago - Pushed at: 11 days ago - Stars: 1 - Forks: 2
Deducteam/mathcomp-hollight-real-with-N
Translation in Rocq of the HOL-Light definition of real numbers using MathComp
Language: Rocq Prover - Size: 104 KB - Last synced at: about 5 hours ago - Pushed at: 11 days ago - Stars: 0 - Forks: 2
Deducteam/coq-hol-light-real-with-nat
Translation in Rocq of the HOL-Light definition of real numbers using the Rocq type nat
Language: Rocq Prover - Size: 243 KB - Last synced at: 4 days ago - Pushed at: 12 days ago - Stars: 3 - Forks: 2
Deducteam/coq-hol-light
Translation of HOL-Light's Multivariate library in Rocq
Language: Rocq Prover - Size: 1.28 MB - Last synced at: 3 days ago - Pushed at: 17 days ago - Stars: 7 - Forks: 3
Deducteam/sublime-lambdapi
Grammar of the Lambdapi language
Size: 1.95 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0