Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
BiRelCost
Bidirectional Type Checking for Relational Properties
OCaml
Emerging
GitHub
Stars
5
Forks
—
Contributors
1
Last push
87mo ago
Recent commits
Latest commits.
Update LICENSE
ae16567
Ezgi Cicek
87mo ago
Create LICENSE
a013524
Ezgi Cicek
87mo ago
README why3 alt-ergo specified
b3b1839
Weihao Qu
87mo ago
PLDI2019 Initial commit
3c6603c
Ezgi Çiçek
87mo ago
Top contributors
Builders behind this project.
ezgicicek
2 commits
