Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News

Category: Tools

June 14, 2015

Summary of Options for Converting the OLP to Other Formats

Tools by Chad0 comments

[Chad is investigating options for converting the OLT to formats other than PDF.  Other open textbook projects, especially in mathematics, […]

Read more>>
March 26, 2015

LaTeXML

Tools by rzach0 comments

This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/

Read more>>

What is This?

It’s is an open-source, collaborative textbook of logic and formal methods, starting at an intermediate level, aimed at a non-mathematical audience. Read more in About.

News

  • Preparing for Fall 2025
  • Selinger’s fitch.sty: 1.0 beta
  • Fall 2023 version of forall x: YYC now official, on Amazon
  • Fall 2023 version of forall x: Calgary
  • forall x now in HTML for extra accessibility

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.