up
ls
Theory

Hyper
JAPE
SPASS
TLA+_Proof_System