cobbal/ppl-ctx-equiv-coq cobbal/ppl-ctx-equiv-coq

  • Stars
    star
    1
  • Language Coq
  • License
    MIT License
  • Created about 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cobbal/ppl-ctx-equiv-coq
github

cobbal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A logical relation for contextual equivalence of a probabilistic programming language in Coq

More Repositories

1

python-for-iphone

Build script for compiling python into a static library that can be used with the official SDK
Shell
183
star
2

python-for-iphone-test

A test for running python on the iPhone
Objective-C
13
star
3

swsh

The Swift Shell
Swift
13
star
4

pietc

A Piet compiler, built on llvm
C++
4
star
5

fc-abstract

Abstract Interpreter for Haskell's CoreSyntax (system FC)
Haskell
1
star