home.social

#lambdapi — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #lambdapi, aggregated by home.social.

  1. Csepp 🌢 @[email protected] ·

    #TIL about #lambdaPi and #dedukti , they seem nifty.
    github.com/Deducteam/lambdapi
    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