inference code with newer type definitions in inference.v
synthesis code with older type definitions in synthesis.v
read my thesis, PbE^2, for more details
expect progress and cleaner file structure soon™
My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.
inference code with newer type definitions in inference.v
synthesis code with older type definitions in synthesis.v
read my thesis, PbE^2, for more details
expect progress and cleaner file structure soon™
My undergraduate thesis on verified program synthesis, and specifying DSLs for programming by example—by example.