HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Synquid: Synthesize Programs from Refinement Types
comcom.csail.mit.edu
1 comment
8 years ago
KirinDave
38 points
2.
▲
AutoProof – A Program Verifier for Eiffel (2015)
comcom.csail.mit.edu
3 comments
8 years ago
jweir
4 points
3.
▲
Synquid – program synthesis with refinement types
comcom.csail.mit.edu
discuss
10 years ago
relevate
2 points
4.
▲
MIT Comcom: Synquid program synthesizer, and more command-line tools for the web
comcom.csail.mit.edu
discuss
8 years ago
espeed
1 points