PierreSenellart / apxproofLinks
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 2 weeks 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
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆55Updated 3 years ago
- Convex optimization modeling in Lean 4☆47Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated 3 weeks ago
- A program for making zooming slides in figma.☆37Updated 3 months ago
- eXercise Sheets IMproved☆73Updated 11 months ago
- 🐧 Penguins in LaTeX with TikZ☆79Updated this week
- A Lean 4 Jupyter kernel via repl☆26Updated 7 months ago
- Clustering notions for the knowledge LaTeX package☆17Updated 3 weeks ago
- auto-split frame environment for LaTeX☆67Updated 2 years ago
- Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)☆16Updated 2 years ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- A LaTeX Beamer theme, forked from the metropolis theme☆146Updated last month
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated last year
- All the math/tex files for the Automorphic Project☆19Updated last year
- An HTML+CSS template for making more accessible posters☆88Updated 3 years ago
- An introduction to theorem proving in Lean for the impatient.☆18Updated 2 months ago
- Collection of animals and other beings drawn in TikZ☆96Updated 3 weeks ago
- A true minimalistic LaTeX beamer template☆154Updated 11 months ago
- A semantic Extension of TeX/LaTeX☆52Updated last month
- FreeTikZ☆37Updated 7 years ago
- Development tools for expl3 programmers☆13Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Lean mathzoo☆24Updated 3 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Mathematical tools to use with amsmath☆64Updated 8 months ago
- ☆27Updated 3 years ago
- Python package to autocomplete bibtex bibliographies☆98Updated 2 weeks ago