Sujet: "lambdapi"
Deducteam/hol2dk
HOL-Light to Dedukti/Lambdapi translator
langage: Rocq Prover - taille: 557 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 13 jours - étoiles: 6 - forks: 4
Sujets associés
HOL-Light to Dedukti/Lambdapi translator
langage: Rocq Prover - taille: 557 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 13 jours - étoiles: 6 - forks: 4