leo-colisson / proof-at-the-endLinks
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆26Updated last month
Alternatives and similar repositories for proof-at-the-end
Users that are interested in proof-at-the-end are comparing it to the libraries listed below
Sorting:
- LaTeX package for automatically putting proof environments in appendix☆28Updated this week
- This tutorial is a basic guide to understanding the Zig-Zag Sampling method. This document is released with the aim of diffusion and shar…☆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
- BibLaTeX bibliography support for publication lists☆41Updated 2 months ago
- Tufte-style beamer template with Julia integration☆136Updated last year
- collection of favorite TikZ graphics☆209Updated 3 years ago
- Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)☆33Updated 4 years ago
- A simple, minimalistic Beamer theme to keep eyes on the content☆87Updated 4 years ago
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆68Updated last year
- The Latex version of Mike Morrison's "better poster" template☆111Updated 2 years ago
- Simple and minimalistic beamer template using Tufte-LaTeX style☆22Updated last year
- A true minimalistic LaTeX beamer template☆154Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 3 months ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆379Updated 6 months ago
- LaTeX Template for Mike Morrison's #betterposter☆308Updated 5 years ago
- The LaTeX beamerposter package☆424Updated 3 years ago
- A light interface to serial and multi-threaded Sequential Monte Carlo☆31Updated 3 years ago
- A LaTeX Beamer theme, forked from the metropolis theme☆155Updated 2 months ago
- Materials and syllabus for Cornell ORIE 7391, Faster: Algorithmic Ideas for Speeding Up Optimization☆25Updated 3 years ago
- Solves the best subset selection problem☆45Updated 3 years ago
- Julia implementation for various Frank-Wolfe and Conditional Gradient variants☆111Updated this week
- Binaries for mathematicians☆9Updated 4 months ago
- Galley of Tikz drawings.☆466Updated 4 months ago
- Practical tools for quantifying how well a sample approximates a target distribution☆27Updated 5 years ago
- Pandoc filters for scientific writing☆18Updated 5 years ago
- LaTeX package for typesetting pseudocode.☆47Updated 3 months ago
- Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors☆592Updated 3 weeks ago
- A tool to visualize complex networks in LaTeX☆340Updated 4 years ago
- MATLAB codes for matrix exponential times a vector.☆32Updated 5 years ago
- Flux is a modern style beamer presentation.☆78Updated 6 years ago