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:
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Mathematical stories☆13Updated 4 years ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆40Updated 5 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Some operator abuse☆29Updated 8 years ago
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Coq solutions to exercises in HoTT book☆12Updated 11 years ago
- Write LaTeX theorems in Pandoc Markdown☆74Updated 2 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- ☆23Updated 3 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 5 months ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆30Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 11 months ago
- Free group automorphisms and train-track representative in python/sage☆12Updated last month
- Synthetic Differential Geometry in Agda☆13Updated 10 years ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated last month
- An experimental category theory library for Lean☆50Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- sage-notebook is a community maintained Jupyter Docker Stack image with the sagemath kernel.☆16Updated 5 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- The formal proof of the Odd Order Theorem☆35Updated 2 weeks ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- ☆17Updated 2 years ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆31Updated 4 months ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆54Updated 3 years ago
- a LaTeX package for managing the options and loading order of other packages☆33Updated 3 years ago