Outer Web | Explore

Explore >> Select a destination

You are here		phloxgroup.wordpress.com Lemmon-style natural deduction proofs in LaTeX \| Phlox
\|	\|	www.logicmatters.net Proofs - Logic Matters	8.1 parsecs away Travel
\|	\|	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 [...]	8.1 parsecs away Travel
\|	\|	dreamwareunlimited.wordpress.com Stone - Remnants of Duntulm Castle - Land of Images	11.1 parsecs away Travel
\|	\|	Tuesday Photo Challenge	11.1 parsecs away Travel
\|	\|	rhubbarb.wordpress.com Tools for Writing Mathematical Blog Posts \| Rob Hubbard's Blog	10.0 parsecs away Travel
\|	\|	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	10.0 parsecs away Travel
\|	\|	manjubhat.wordpress.com Virtual Memory - Windows \| No fluff, just stuff...that matters.	15.2 parsecs away Travel
\|		Mark Russinovich's blog	15.2 parsecs away Travel