Outer Web | Explore

Explore >> Select a destination

You are here		www.ctan.org CTAN: /tex-archive/macros/latex/contrib/logicproof
\|	\|	opguides.info Fairtrial \| Opinionated Guides	13.3 parsecs away Travel
\|	\|	Fair Trial # Jury of your peers - how do we define peers? # Court of Public Opinion #	13.3 parsecs away Travel
\|	\|	openlogicproject.org Selinger's fitch.sty: 1.0 beta - Open Logic Project	6.2 parsecs away Travel
\|	\|	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...	6.2 parsecs away Travel
\|	\|	rjlipton.com COMPUTATION, LOGIC, AND INFORMATION \| Gödel's Lost Letter and P=NP	11.7 parsecs away Travel
\|	\|	The organizers of a conference on this topic is on July 3-5, 2024 at Jagiellonian University, Krakow, Poland are: Wojciech Szpankowski the Director of the Center for Science of Information at Purdue University Marek Zaionc (UJ, Poland) the Professor and Head of the Foundations of Computer Science group at Jagiellonian University See the poster of...	11.7 parsecs away Travel
\|	\|	vickiboykis.com Migrating to Hugo \| ??? Vicki Boykis ???	31.6 parsecs away Travel
\|		I swore I'd never switch static site generators again	31.6 parsecs away Travel