Sujet: "lambdapi"
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
langage: Rocq Prover - taille: 732 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 19 jours - étoiles: 8 - forks: 6
Deducteam/lambdapi-stdlib
Repository of Lambdapi developments
langage: Answer Set Programming - taille: 220 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 9 jours - étoiles: 7 - forks: 8
Deducteam/coq-hol-light-real-with-nat
Translation in Rocq of the HOL-Light definition of real numbers using the Rocq type nat
langage: Rocq Prover - taille: 238 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 19 jours - étoiles: 3 - forks: 2
Deducteam/coq-hol-light-real-with-N
Translation in Coq of the HOL-Light definition of real numbers using binary natural numbers
langage: Rocq Prover - taille: 110 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 19 jours - étoiles: 2 - forks: 5
Deducteam/opam-lambdapi-repository
Opam repository of Lambdapi libraries
langage: Shell - taille: 23,4 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 20 jours - étoiles: 1 - forks: 2
Deducteam/coq-hol-light-Logic1
Translation in Rocq of HOL-Light's Logic library until unify using hol2dk
langage: Rocq Prover - taille: 911 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 9 jours - étoiles: 0 - forks: 1