At a Glance
| Applications | Program Synthesizer |
| Developers | MIT |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Mostly Automated Synthesis of Correct-by-Construction Programs
| Applications | Program Synthesizer |
| Developers | MIT |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Mostly Automated Synthesis of Correct-by-Construction Programs