Explore >> Select a destination
|
You are here 
|
openlogicproject.org | ||
| | | | |
richardzach.org
|
|
| | | | | 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/... | |
| | | | |
phloxgroup.wordpress.com
|
|
| | | | | Recently I had to typeset a natural deduction argument in $latex \LaTeX$. I looked around for a package that does it, but couldn't find any (which doesn't mean that it's not there somewhere). So, I wrote one myself. It doesn't do fancy things, but at least it figures out the width the various columns should... | |
| | | | |
www.ctan.org
|
|
| | | | | ||
| | | | |
www.thedroneely.com
|
|
| | | [AI summary] The blog post discusses the author's experiences and insights on web development, open-source technologies, and the use of Hugo as a static site generator. | ||
