José A. Alonso · @Jose_A_Alonso
710 followers · 1188 posts · Server mathstodon.xyz@joaquimpuig Logipedia: a library of proofs expressed in Dedukti. http://logipedia.inria.fr/about/about.php #ITP #Dedukti #Math
José A. Alonso · @Jose_A_Alonso
375 followers · 155 posts · Server mathstodon.xyzConnecting Agda to other theorem provers via EuroProofNet (or, how to implement an Agda backend). ~ Jesper Cockx. https://jesper.sikanda.be/files/AIMXXXI-presentation.pdf #ITP #Agda #Dedukti
Csepp 🌢 · @csepp
1564 followers · 9591 posts · Server merveilles.town
#TIL about #lambdaPi and #dedukti , they seem nifty.
https://github.com/Deducteam/lambdapi
https://github.com/Deducteam/Dedukti
Looks like there are translators for the latter from languages like #Coq and #HOL .
cc #typeTheory
#typetheory #HOL #coq #dedukti #lambdaPi #til