Induction [1] was supposed to be that, but the webpage is long gone, and it looks like there's just a source dump on GitHub with "alpha" code that hasn't been t

Induction [1] was supposed to be that, but the webpage is long gone, and it looks like there's just a source dump on GitHub with "alpha" code that hasn't been touched in 5 years. [1]: https://github.com/pothibo/Induction https://github.com/pothibo/Induction