semantics
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
44 stars
8 watching
4 forks
Language: Coq
last commit: almost 3 years ago coqprogramming-language-semantics