cucapra / styleguide
rules for writing and typesetting
☆24Updated 3 years ago
Alternatives and similar repositories for styleguide:
Users that are interested in styleguide are comparing it to the libraries listed below
- A language for symbolic transitions system, inspired by Ivy.☆69Updated 11 months ago
- PC-miner tool for program chairs☆24Updated this week
- Verimag Polyhedra Library☆17Updated 4 years ago
- Formal specification and verification of hardware, especially for security and privacy.☆124Updated 2 years ago
- ☆14Updated 4 years ago
- Collection of Distributed Protocol Verification Problems☆12Updated 10 months ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆30Updated this week
- Lem semantic definition language☆137Updated 3 weeks ago
- A graduate seminar on SMT solving and solver-aided systems☆26Updated 2 years ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- ☆86Updated 2 years ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- sketches for egg: a flexible, high-performance e-graph library☆26Updated last month
- ☆54Updated last week
- ☆13Updated 2 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23Updated 6 years ago
- Python bindings for egg☆48Updated 2 years ago
- AE-solver and Skolemizer☆16Updated 3 months ago
- Coq library for tactics, basic definitions, sets, maps☆44Updated this week
- Communication between Coq and SAT/SMT solvers☆158Updated 5 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Libraries useful for Dafny programs☆43Updated 2 months ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆46Updated 2 years ago
- A minimal development of SSA theory☆109Updated this week
- A model checker for infinite-state systems.☆71Updated 2 months ago
- Tools for interacting with Boogie☆47Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆70Updated this week
- An awesome list of e-graph resources☆138Updated 2 weeks ago
- RISC-V Specification in Coq☆111Updated last month