bordaigorl / latex-commentingLinks
A LaTeX package for commenting multi-author documents
☆11Updated 10 years ago
Alternatives and similar repositories for latex-commenting
Users that are interested in latex-commenting are comparing it to the libraries listed below
Sorting:
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆18Updated 5 years ago
- Multinomials for the Mathematical Components library.☆16Updated 2 weeks ago
- An automatic theorem prover for first order logic with equality☆31Updated 5 years ago
- Robots powered by Constructive Reals☆34Updated 8 years ago
- Emacs mode for Lean☆68Updated 2 years ago
- A prototype of soft contract verification for an untyped functional language☆35Updated 4 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Tools for interacting with Boogie☆49Updated 7 months ago
- A very simple coq layer for spacemacs☆37Updated 6 years ago
- Probabilistic Programming☆42Updated 3 weeks ago
- Commutative diagrams with TikZ☆53Updated 3 years ago
- ☆51Updated last year
- Algebraic Combinatorics in Coq☆39Updated last month
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Relation algebra library for Coq☆48Updated last month
- Collection of arguably useful shell scripts.☆20Updated 3 weeks ago
- An interactive development environment for SMT-LIB files and Z3☆24Updated 3 years ago
- A TikZ library of wiring diagrams☆22Updated 6 years ago
- A framework for extensible, reflective decision procedures.☆19Updated 5 years ago
- Partial Commutative Monoids☆31Updated 5 months ago
- Efficient, high-level dynamic programming☆27Updated 2 years ago
- Lecture material for DeepSpec Summer School 2018☆67Updated 6 years ago
- miniKanren with a first-order representation of the search space☆17Updated last year
- rules for writing and typesetting☆25Updated 4 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- software archaeology of reflective towers of interpreters☆16Updated 5 months ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- Reimplementation of TeX in Haskell: pre-alpha☆32Updated 11 years ago
- Mirror of ocaml-forester☆45Updated last year
- Template to effortlessly build math-rich websites☆39Updated 3 years ago