Search
 
   

2 results for "domain:comcom.csail.mit.edu"

  1. 3
    SuSLik - program synthesis with separation logic plt release comcom.csail.mit.edu
    hwayne avatar via hwayne 1 month ago | cached | 1 comment
  2. 1
    Synquid - program synthesis with refinement types compsci comcom.csail.mit.edu
    craigstuntz avatar via craigstuntz 2 years ago | cached | no comments