Explore >> Select a destination

You are here

 openlogicproject.org
Selinger's fitch.sty: 1.0 beta - Open Logic Project
| | www.ctan.org
CTAN: /tex-archive/macros/latex/contrib/logicproof
6.2 parsecs away

Travel
| |
| | consequently.org
The Philosophical Significance of the Paradoxes - consequently.org
15.8 parsecs away

Travel
| |
| | richardzach.org
Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi - Richard Zach
9.3 parsecs away

Travel
| | Zach, Richard. 2021. "Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi." The Review of Symbolic Logic 14 (3): 645-86. doi:10.1017/...
| | danilafe.com
Switching to a Static Site Generator
41.2 parsecs away

Travel
| [AI summary] The author discusses transitioning from a custom-built blog to a static site generator for improved efficiency and features like version control and code integration.