olivierverdier / pydflatexLinks
Python wrapper around pdflatex
☆30Updated 9 years ago
Alternatives and similar repositories for pydflatex
Users that are interested in pydflatex are comparing it to the libraries listed below
Sorting:
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated last week
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆38Updated 4 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 10 months ago
- Mathematical stories☆13Updated 4 years ago
- Mirror of ocaml-forester☆45Updated last year
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 4 months ago
- ☆23Updated 3 years ago
- Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.☆18Updated 5 years ago
- Some operator abuse☆29Updated 7 years ago
- An experimental category theory library for Lean☆51Updated 2 years ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated last year
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆84Updated 4 years ago
- Syntaxes with Binding, Their Programs, and Proofs☆23Updated last year
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆28Updated 5 months ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Kan: A browser extension for reading nLab☆29Updated 6 years ago
- The formal proof of the Odd Order Theorem☆34Updated this week
- Algebra Number Theory book☆48Updated 3 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Beamer color theme using the Solarized palette☆125Updated 11 years ago
- Schemes in Lean (v2)☆43Updated 5 years ago
- Formalization of Linear Logic in Coq☆16Updated 5 months ago