A Prover for Propositional Logic (Demo)
Epistemic Logic (EL)
Public Announcement Logic (PAL)
Jørgen Villadsen 2021-08-30 https://hol.compute.dtu.dk/ITPLI