高级逻辑计算器
- Analytic tableaux generator: https://www.umsu.de/trees/
- Natural deduction proof checker: https://proofs.openlogicproject.org/
- Propositional logic calculator（寻找模型）: https://www.inf.unibz.it/~franconi/teaching/propcalc/
- 关于 Sequent Calculus 的教程: http://logitext.mit.edu/tutorial
- Modal logic playground（用于构建模型）: https://rkirsling.github.io/modallogic/