cdf-sem-meca
by xavierleroy
Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020
AI summary
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
- stars
- 21
- forks
- 5
- watching
- 4
Similar projects
Found by comparing what the projects do, not just their names.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Program logic textbook
Companion Coq development for teaching program logics
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Coq IDE
A tool for interactive theorem proving and language support in Coq
Proof assistant
Coq proof assistant book with exercises and examples
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Proof assistant library
Python bindings for Coq's interactive proof assistant
Code processor
A tool for processing Coq and Lean 4 code embedded in text documents
Code tester
Analyze and test Coq proof assistant projects by generating modified versions of the code to identify flaws in specifications.
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
