tgiannak / semantics-recursive-real-ppl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cobbal/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