Angtrim / alloy-latex-highlightingLinks
Alloy syntax highlighting for the "listings package" (Latex) (It follows MIT's Alloy environment color style)
☆13Updated 5 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 2 years ago
- PC-miner tool for program chairs☆29Updated last month
- ☆11Updated 2 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆38Updated last year
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆95Updated 2 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆40Updated 2 weeks ago
- MonoSAT - An SMT solver for Monotonic Theories☆113Updated 7 months ago
- PL conference deadline countdowns☆63Updated 2 months ago
- Coq Support for Visual Studio Code☆92Updated 6 years ago
- Class instances for Coq inductive types with little boilerplate☆25Updated 6 months ago
- The Penn Locally Nameless Metatheory Library☆76Updated 7 months ago
- A monadic library for symbolic evaluation☆71Updated 3 months ago
- Analytic sampler compiler for combinatorial systems☆30Updated 3 years ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆62Updated last year
- A tool for Model Based Testing☆49Updated 2 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆102Updated 2 months ago
- Tree Proof Generator☆174Updated 8 months ago
- A language for symbolic transitions system, inspired by Ivy.☆70Updated 2 months ago
- Simple autograder for Haskell programming assignments☆17Updated 8 months ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated 2 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- ☆19Updated 2 years ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆42Updated last week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- ☆16Updated 4 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆54Updated last month
- A Python script to create cactus and scatter plots based on matplotlib☆25Updated 4 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆43Updated this week
- ☆40Updated last week