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
- CoDi: Commutative Diagrams for TeX☆30Updated 8 months ago
- Commutative diagrams with TikZ☆46Updated 2 years ago
- My mathematical Zettelkasten, created using forester.☆78Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Mirror of ocaml-forester☆41Updated 7 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆35Updated 2 months ago
- Tim Button's open textbook on set theory☆31Updated last year
- Pandoc filters for scientific writing☆17Updated 4 years ago
- A Lean file formatter☆64Updated 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…☆119Updated 10 months ago
- Very controlled natural language tactics for Lean☆62Updated 11 months ago
- Collection of animals and other beings drawn in TikZ☆91Updated this week
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated 3 weeks ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A program for making zooming slides in figma.☆32Updated 5 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- A database of small finite categories☆14Updated last year
- Listing of online math seminars☆42Updated 4 months ago
- ☆34Updated last year
- Functional Programming in Lean☆73Updated 8 months ago
- Overview of tactics in Lean 4 for beginners — longer version☆69Updated 3 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 3 years ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- HTML version of pgf-tikz documentation☆45Updated last week
- A semantic Extension of TeX/LaTeX☆51Updated last week
- ☆22Updated 2 years ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Lecture Notes for Algebra Lectures at the University of Bonn☆11Updated 4 months ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.☆19Updated 3 years ago