Formalization related domains (5)

itp-conference.github.io Interactive Theorem Proving
mkurabita.go.tz MKURABITA | Home
pxtp.gitlab.io Workshop on Proof eXchange for Theorem Proving
glashoff.eu Formalization of ancient logic
georgbrun.ch Georg Brun . Philosophy