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
Sorting:
- This package aims to provide a way to easily move LaTeX proofs in appendix.☆25Updated last year
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Convex optimization modeling in Lean 4☆46Updated 11 months ago
- Clustering notions for the knowledge LaTeX package☆15Updated 6 months ago
- A LaTeX Beamer theme, forked from the metropolis theme☆136Updated this week
- 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
- An HTML+CSS template for making more accessible posters☆83Updated 2 years ago
- A Lean 4 Jupyter kernel via repl☆26Updated 5 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 weeks ago
- FreeTikZ☆38Updated 7 years ago
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- A program for making zooming slides in figma.☆34Updated last month
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 6 months ago
- A true minimalistic LaTeX beamer template☆153Updated 10 months ago
- O-3PO - Open-source Open-access Overlay Publishing Option☆10Updated last month
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆24Updated 3 years ago
- Template for blueprint-driven formalization projects in Lean.☆50Updated last week
- A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.☆21Updated 6 years ago
- Write LaTeX theorems in Pandoc Markdown☆76Updated last year
- Emoji support in (Lua)LaTeX☆74Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated 2 weeks ago
- A semantic Extension of TeX/LaTeX☆52Updated this week
- a PGF/TikZ-based LaTeX package for drawing (linguistic) trees☆71Updated 5 years ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- A latex package to draw cute rubber ducks with TikZ☆177Updated this week
- 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
- Listing of online math seminars☆43Updated 8 months ago
- ☆52Updated this week
- latexdiff helper for git☆26Updated 3 years ago
- LaTeX package for typesetting pseudocode.☆43Updated 3 weeks ago