semantics
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
AI summary
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
- stars
- 46
- forks
- 4
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Algebra library
A Coq library providing algebraic data structures and algorithms
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Coq tips
A resource for discovering useful techniques and tricks in Coq
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Graph formalizer
Formalized graph theory results for research and verification
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
