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
Last updated 2 years ago