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☆17Updated 4 years ago
- My mathematical Zettelkasten, created using forester.☆78Updated this week
- Tag-based webview of LaTeX documents☆28Updated last year
- CoDi: Commutative Diagrams for TeX☆30Updated 9 months ago
- Mirror of ocaml-forester☆41Updated 7 months ago
- Commutative diagrams with TikZ☆47Updated 2 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆31Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- Tim Button's open textbook on set theory☆32Updated last year
- Lean for the Curious Mathematician 2020☆66Updated 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 11 months ago
- A Lean file formatter☆65Updated 2 years ago
- ☆22Updated 2 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- A program for making zooming slides in figma.☆32Updated 6 months ago
- Very controlled natural language tactics for Lean☆63Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- A database of small finite categories☆14Updated last year
- Overview of tactics in Lean 4 for beginners — longer version☆73Updated 4 months ago
- Categorical Logic Notes☆74Updated 2 years ago
- An experimental category theory library for Lean☆49Updated last year
- Pandoc filter to render math equations using KaTeX☆35Updated last year
- A project to digitalise results from high energy physics into Lean.☆108Updated this week
- Building group theory from scratch in Lean☆59Updated 4 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆22Updated 3 years ago
- Source code for the nLab☆159Updated last month
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆33Updated 4 years ago
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…☆116Updated 5 months ago
- Listing of online math seminars☆42Updated 5 months ago