GitHub repository: ppaml-op3/semantics-recursive-real-ppl
Primary language: Coq
Created: 2017-10-17T15:05:32Z
Description: Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.