Explore >> Select a destination
|
You are here 
|
phloxgroup.wordpress.com | ||
| | | | |
www.logicmatters.net
|
|
| | | | | For a document on bussproofs for Gentzen-style proofs, two Fitch-style packages, and also mentioning Lemmon style proofs, see Proofs in LaTeX (Alex Kocurek 2019). Natural deduction and sequent proofs,Gentzen-style The standardpackage in recent years has beenbussproofs.sty (Sam Buss: download the latest version, 1.1, June 2011). Note that there is a LaTeX for LogiciansUser Guide to [...] | |
| | | | |
openlogicproject.org
|
|
| | | | | Peter Selinger's fitch.sty package is a popular way to produce nicely formatted Fitch-style natural deduction proofs (e.g., in the free/open logic textbooks of the forall x family). It is now... | |
| | | | |
rhubbarb.wordpress.com
|
|
| | | | | My previous post was written with the help of a few very useful tools: LaTeX mathematical typesetting Gummi LaTeX editor Python programming language PyX Python / LaTeX graphics package my own PyPyX wrapper around PyX LaTeX2WP script for easy conversion from LaTeX to WordPress HTML | |
| | | | |
blog.supplysideliberal.com
|
|
| | | |||
