GitHub repository: palmskog/coind-sem-while
Primary language: Coq
Description: Coinductive trace-based semantics for the While language in Coq