PierreSenellart / apxproof
LaTeX package for automatically putting proof environments in appendix
☆23Updated 7 months ago
Related projects: ⓘ
- This package aims to provide a way to easily move LaTeX proofs in appendix.☆23Updated last year
- Listing of online math seminars☆41Updated last week
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆54Updated 2 years ago
- Collection of animals and other beings drawn in TikZ☆89Updated last month
- 🐧 Penguins in LaTeX with TikZ☆61Updated this week
- A program for making zooming slides in figma.☆27Updated last month
- Write LaTeX theorems in Pandoc Markdown☆74Updated 10 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆42Updated 2 weeks ago
- An HTML+CSS template for making more accessible posters☆82Updated 2 years ago
- A true minimalistic LaTeX beamer template☆138Updated 2 months ago
- auto-split frame environment for LaTeX☆66Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated 11 months ago
- eXercise Sheets IMproved☆66Updated last month
- Convex optimization modeling in Lean 4☆37Updated 3 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆31Updated 2 weeks ago
- A LaTeX Beamer theme, forked from the metropolis theme☆66Updated last month
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆106Updated last month
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆46Updated 4 months ago
- A semantic Extension of TeX/LaTeX☆49Updated last week
- Emoji support in (Lua)LaTeX☆64Updated 10 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- A curated list of awesome TikZ packages and resources☆32Updated 5 months ago
- CoDi: Commutative Diagrams for TeX☆30Updated 4 months ago
- BibLaTeX bibliography support for publication lists☆38Updated last week
- biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports U…☆507Updated 3 weeks ago
- A database app for ring theory☆21Updated 2 months ago
- Lecture notes from Cambridge maths☆61Updated 7 months ago
- LaTeX Template for Mike Morrison's #betterposter☆290Updated 5 years ago
- A latex package to draw cute rubber ducks with TikZ☆165Updated last month
- Tim Button's open textbook on set theory☆30Updated 11 months ago