InfoSansOrdi / pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
☆19Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for pedago-rennes
- Page du cours preuves assistées par ordinateur 2021☆9Updated 7 months ago
- Another attempt for visualizing proofs☆10Updated this week
- A generic goal preprocessing tool for proof automation tactics in Coq☆14Updated last month
- Formalisation of a capability machine and principles for reasoning about security properties☆17Updated last week
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆21Updated 7 months ago
- A verified Implementation of a mini prolog☆13Updated last year
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆34Updated last year
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆80Updated last month
- Print with style in your terminal using Format's semantic tags☆18Updated last year
- An encyclopedia of proofs☆57Updated last week
- A simple BDD library for OCaml☆13Updated 2 years ago
- coinduction library for Coq☆15Updated 2 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆21Updated last year
- Constraint solver based on abstract domains☆30Updated last month
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆17Updated this week
- ☆18Updated last month
- Cours d'informatique en MP2I (OCaml, C, SQL)☆43Updated 4 months ago
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- An HTML documentation generator for Coq source files☆30Updated 2 months ago
- LP and MIP modeling in OCaml☆26Updated 3 years ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆13Updated 5 months ago
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆36Updated 2 years ago
- Formal Semantics for Why3☆14Updated this week
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆39Updated 2 months ago
- Relation algebra library for Coq☆48Updated last week
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated 10 months ago
- Efficient binder representation in OCaml☆39Updated 4 months ago
- Homebrew formulae for formal methods☆36Updated last month
- A small library to output memory graph for ocaml values☆35Updated 4 months ago