Kentish Fran 🇪🇺 · @kentishfran
571 followers · 79 posts · Server mastodonapp.ukDo we need any politicians in a reformed House of Lords? Could we just have leaders and experts in various fields nominated by their peers?
#houseoflordsreform #houseoflords #HOL
huh · @thepoint
72 followers · 229 posts · Server mastodon.greenOh God, I just started on this... https://youtu.be/ni1tX0bpTR8 #Monbiot #GFC #HoL
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