leo-colisson / proof-at-the-endLinks
This package aims to provide a way to easily move LaTeX proofs in appendix.
☆25Updated last year
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☆26Updated last year
- A Python script for "flattening" a nested LaTeX document by pulling in all the \input files☆67Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- BibLaTeX bibliography support for publication lists☆40Updated last 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 5 years ago
- Rewriting the Stan compiler in OCaml☆22Updated 3 years ago
- Unbiased Markov chain Monte Carlo with couplings☆29Updated 2 years ago
- Revealed preference analysis and preference estimation from choice datasets☆14Updated 2 weeks ago
- TikZ exporter ipelet☆36Updated last year
- Basic Analysis, undergraduate real analysis textbook☆75Updated 2 weeks ago
- Saarland Beamer Theme☆64Updated 6 years ago
- Code for Vector Quantile Regression (Carlier, Chernozhukov, Galichon, Annals of Statistics, 2016)☆16Updated 3 years ago
- Convenient mode selection in Beamer documents☆23Updated 2 years ago
- Pandoc filters for scientific writing☆18Updated 4 years ago
- Automated Bayesian model discovery for time series data☆74Updated 3 months ago
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆39Updated last year
- probabilistic programming focused on fun☆41Updated 7 months ago
- A light interface to serial and multi-threaded Sequential Monte Carlo☆31Updated 3 years ago
- Kernels, the machine learning ones☆14Updated 2 years ago
- Prof. S. Boyd's LaTeX Templates☆13Updated 6 years ago
- Auriga is a minimalist LaTeX beamer presentation theme 📽☆371Updated 4 months ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- A sklearn style interface to Stan regression models☆25Updated 7 months ago
- LaTeX template for ERC proposals☆30Updated 3 years ago
- Tufte-style beamer template with Julia integration☆134Updated last year
- Python package to compute conditional and non-conditional causal effects.☆35Updated 3 years ago
- some scripts for the couplings enthusiasts!☆32Updated 4 years ago
- Materials for ORIE 7191: Topics in Optimization for Machine Learning☆44Updated 6 years ago
- ☆23Updated 2 years ago
- Python utility for making PDFs out of scraps of LaTeX.☆15Updated 9 years ago