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:
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated 2 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆40Updated 5 years ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Enter Unicode characters using LaTeX notation☆95Updated last year
- Coq solutions to exercises in HoTT book☆12Updated 11 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
- Coordinate-free hypersurfaces as Haskell types☆41Updated 8 months ago
- Some operator abuse☆29Updated 8 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- A program for generating LaTeX TikZ code for string diagrams.☆19Updated 4 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 4 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Updated this week
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- M4 algebraic geometry course in Lean☆58Updated 5 years ago
- Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages☆99Updated 7 months ago
- A semantic Extension of TeX/LaTeX☆54Updated last month
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Schemes in Lean (v2)☆44Updated 5 years ago
- ☆24Updated 3 years ago
- Tutorial series introducing Agda to the people at BCAM☆27Updated 4 years ago
- CAP project -- Categories, Algorithms, and Programming☆37Updated last week
- FEECa: Finite Element Exterior Calculus in Haskell☆34Updated 5 years ago
- The formal proof of the Odd Order Theorem☆37Updated last month
- The Agda Universal Algebra Library (html docs available at the url below)☆38Updated this week
- Directed type theory for formal category theory☆17Updated 8 years ago
- Mirror of ocaml-forester☆47Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Generate commutative diagrams inside of Pandoc with Tikz☆34Updated 8 years 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