sliminality / pandoc-theorem
Write LaTeX theorems in Pandoc Markdown
☆76Updated last year
Alternatives and similar repositories for pandoc-theorem:
Users that are interested in pandoc-theorem are comparing it to the libraries listed below
- Pandoc filters for scientific writing☆18Updated 4 years ago
- My mathematical Zettelkasten, created using forester.☆81Updated this week
- CoDi: Commutative Diagrams for TeX☆30Updated 11 months ago
- Commutative diagrams with TikZ☆49Updated 2 years ago
- Mirror of ocaml-forester☆43Updated 9 months ago
- Tim Button's open textbook on set theory☆33Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- Convert Pandoc Markdown-style footnotes into sidenotes☆147Updated 5 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆36Updated 5 months ago
- Tag-based webview of LaTeX documents☆28Updated last year
- A database of small finite categories☆14Updated last year
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 3 weeks ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 2 months ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆52Updated 2 weeks ago
- Algebra Number Theory book☆48Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Render and include figures in Pandoc documents using your plotting toolkit of choice☆240Updated last month
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- A Pandoc filter for including code from source files☆144Updated last year
- ☆113Updated 8 months ago
- ☆23Updated 2 years ago
- Listing of online math seminars☆43Updated 7 months ago
- CSL citation processing library in Haskell☆167Updated 2 weeks ago
- Very controlled natural language tactics for Lean☆62Updated last year
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆56Updated last month
- Categorical Logic Notes☆78Updated 3 years ago