PierreSenellart / apxproof
LaTeX package for automatically putting proof environments in appendix
☆26Updated last year
Alternatives and similar repositories for apxproof:
Users that are interested in apxproof are comparing it to the libraries listed below
- This package aims to provide a way to easily move LaTeX proofs in appendix.☆25Updated last year
- A LaTeX Beamer theme, forked from the metropolis theme☆130Updated last week
- An HTML+CSS template for making more accessible posters☆83Updated 2 years ago
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- A true minimalistic LaTeX beamer template☆152Updated 9 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- A collection of Typst math commands/shortcuts defined for the purpose of having the same/similar names as LaTeX math expressions.☆18Updated 2 years ago
- Emoji support in (Lua)LaTeX☆74Updated last year
- Collection of animals and other beings drawn in TikZ☆96Updated last week
- a PGF/TikZ-based LaTeX package for drawing (linguistic) trees☆70Updated 5 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 5 months ago
- eXercise Sheets IMproved☆71Updated 9 months ago
- Saarland Beamer Theme☆64Updated 6 years ago
- LaTeX Template for Mike Morrison's #betterposter☆303Updated 5 years ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆366Updated 2 months ago
- FreeTikZ☆38Updated 7 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Simple, typographic beamer theme☆228Updated 3 months ago
- A program for making zooming slides in figma.☆32Updated last month
- Development tools for expl3 programmers☆11Updated this week
- latexdiff helper for git☆25Updated 3 years ago
- Pandoc filters for scientific writing☆18Updated 4 years ago
- Convex optimization modeling in Lean 4☆45Updated 10 months ago
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- A converter that takes a network (cnet, igraph, networkx, pathpy, ...) and creates a tikz-network for smooth integration into LaTeX.☆52Updated 3 years ago
- A latex package to draw cute rubber ducks with TikZ☆176Updated last week
- The Ipe extensible drawing editor☆193Updated 5 months ago
- 🐧 Penguins in LaTeX with TikZ☆72Updated last week
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Updated 3 weeks ago