Skip to content
Open Logic Project
  • Home
  • About
  • People
  • Download
  • GitHub
  • News
March 26, 2015

LaTeXML

Tools by rzach

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

Post navigation

The Open Logic Project: Talk at DASHLab
Avigad’s Notes on Computability, Incompleteness

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

  • The Open Logic Project is 10!
  • Follow the Open Logic Project on Mastodon
  • Updates to OLP for Fall 2021 edition of Sets, Logic, Computation
  • forall x: Calgary goes international (and other updates)
  • Many-valued logic in the OLP

Archives

License: CC-BY

info@openlogicproject.org

Proudly powered by WordPress | Theme: Airi by aThemes.