maksym-bortin/synthesis
Synthesis of implementations for divide-and-conquer specifications
IsabelleGPL-3.0
Stargazers
No one’s star this repository yet.
Synthesis of implementations for divide-and-conquer specifications
IsabelleGPL-3.0
No one’s star this repository yet.