EduPH / concrete-semantics-Sols
My solutions to concrete semantics
☆11Updated 7 years ago
Related projects: ⓘ
- My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.☆23Updated 9 years ago
- PL conference deadline countdowns☆51Updated 2 weeks ago
- A formalization of the textbook Elements of Set Theory☆59Updated 2 years ago
- Communication between Coq and SAT/SMT solvers☆155Updated 2 months ago
- Modeling and Proving in Computational Type Theory☆78Updated 2 months ago
- ☆24Updated 4 years ago
- Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]☆108Updated last month
- ☆20Updated 6 months ago
- Randomized Property-Based Testing Plugin for Coq☆249Updated this week
- A verified polyhedral scheduling validator in Coq.☆18Updated 2 months ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 11 months ago
- Coq集合论中文教程☆41Updated 2 years ago
- ☆15Updated this week
- ☆28Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆496Updated last month
- Deductive verification infrastructure for probabilistic programs☆13Updated last month
- Ltac2 tutorial☆39Updated last year
- Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]☆86Updated last week
- Definition of the Viper intermediate verification language.☆78Updated last week
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆134Updated 3 months ago
- ☆30Updated 3 weeks ago
- ☆219Updated last month
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆36Updated last month
- Hanoi Omega-Automata Format☆14Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆135Updated last month
- MonoSAT - An SMT solver for Monotonic Theories☆106Updated last year
- Libraries useful for Dafny programs☆43Updated last week
- A collection of tools for writing technical documents that mix Coq code and prose.☆229Updated last week
- ☆11Updated last month