Deducteam/hol2dk

HOL-Light to Dedukti/Lambdapi translator

langage: Rocq Prover - taille: 557 ko - dernière synchronisation: il y a 7 jours - enregistré: il y a 11 jours - étoiles: 6 - forks: 4