maksym-bortin/synthesis
Synthesis of implementations for divide-and-conquer specifications
IsabelleGPL-3.0
No issues in this repository yet.
Synthesis of implementations for divide-and-conquer specifications
IsabelleGPL-3.0
No issues in this repository yet.