Search results

2 packages found

A collection of structure induction algorithms

published version 0.3.13, 5 years ago3 dependents licensed under $ISC
60

Inductive programming for JavaScript

published version 0.2.1, 9 years ago1 dependents licensed under $MIT
14