Angtrim / alloy-latex-highlightingLinks
Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style)
☆13Updated 6 years ago
Alternatives and similar repositories for alloy-latex-highlighting
Users that are interested in alloy-latex-highlighting are comparing it to the libraries listed below
Sorting:
- Hanoi Omega-Automata Format☆15Updated 3 years ago
- PC-miner tool for program chairs☆29Updated 2 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- PL conference deadline countdowns☆63Updated last week
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated last month
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆40Updated 5 years ago
- Tree Proof Generator☆175Updated 9 months ago
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆95Updated 2 weeks ago
- ☆19Updated 2 years ago
- ☆11Updated 2 months ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Updated 4 years ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 2 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- A best-first-search theorem prover implemented in Isabelle☆35Updated 3 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated last month
- A library of mechanised undecidability proofs in the Coq proof assistant.☆126Updated 2 weeks ago
- A program for making zooming slides in figma.☆41Updated 4 months ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆135Updated 2 months ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- The Penn Locally Nameless Metatheory Library☆76Updated 8 months ago
- An interactive visualizer for linear temporal logic (LTL)☆33Updated 4 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆36Updated 2 months ago
- Homebrew formulae for formal methods☆37Updated 4 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated 2 weeks ago
- Convert Haskell source code to Coq source code.☆92Updated 5 months ago
- A monadic library for symbolic evaluation☆73Updated 4 months ago