programming-language-semantics topic
List
programming-language-semantics repositories
semantics
43
Stars
4
Forks
Watchers
A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]
