At a Glance
| Applications | SAT Solver SMT Solver Theorem Prover |
| Developers | Inria |
| Inputs | WhyML |
| Interfaces | CLI Why3 |
| Licenses | MIT |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2011
Profound is an experiment in subformula linking as an interaction method.