Outer Web | Explore

Explore >> Select a destination

You are here		www.ctan.org CTAN: /tex-archive/macros/latex/contrib/logicproof
\|	\|	texblog.org Track changes with latexdiff - texblog	12.0 parsecs away Travel
\|	\|	Track changes is a popular tool in Word. If you are looking for something similar for LaTeX latexdiff is the answer. For example if you are an academic researcher submitting papers to journals, you...	12.0 parsecs away Travel
\|	\|	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
\|	\|	popl20.sigplan.org Making Progress Under Uncertainty in SMT Solving, Research, and Life (PLMW 2020) - POPL 2020	46.8 parsecs away Travel
\|		What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they ...	46.8 parsecs away Travel