GitHub repository: tgiannak/semantics-recursive-real-ppl
Primary language: Coq
Description: Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.