sliminality / pandoc-theoremLinks
Write LaTeX theorems in Pandoc Markdown
☆75Updated last year
Alternatives and similar repositories for pandoc-theorem
Users that are interested in pandoc-theorem are comparing it to the libraries listed below
Sorting:
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last week
- Pandoc filters for scientific writing☆18Updated 4 years ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- Mirror of ocaml-forester☆45Updated 11 months ago
- Tag-based webview of LaTeX documents☆29Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 months ago
- provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML☆22Updated 3 years ago
- A Lean file formatter☆67Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 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
- A Pandoc filter for including code from source files☆145Updated last year
- Pandoc filter to render math equations using KaTeX☆35Updated 2 years ago
- A modern string diagram editor for the web.☆25Updated last month
- A database of small finite categories☆14Updated last year
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆120Updated last year
- Algebra Number Theory book☆48Updated 3 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆81Updated 8 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- A semantic Extension of TeX/LaTeX☆52Updated last week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 3 months ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated last year
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- ☆114Updated 10 months ago
- some maths papers in English☆18Updated 2 months ago
- Pure Haskell commonmark parsing library, designed to be flexible and extensible☆141Updated 2 months ago
- Lecture notes from Cambridge maths☆69Updated last year