cobbal / semantics-recursive-real-ppl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ppaml-op3/semantics-recursive-real-ppl
Coq implementation of logical relations for reasoning about a probabilistic programming language with continuous random variables and recursion.
License: BSD 3-Clause "New" or "Revised" License