Search

siafun

A collection of structure induction algorithms

v0.3.13 URL: https://unpkg.com/siafun@0.3.13/lib/index.js

OpenBrowse Files

structureinduction

inductive.js

Inductive programming for JavaScript

v0.2.1 URL: https://unpkg.com/inductive.js@0.2.1/lib/inductive.js

OpenBrowse Files

typetypesastabstract-syntax-treeabstractsyntaxtreeinductioninductiveinductive-programminginductive-functional-programmingtesttestingunitmocksolversolvemocksmockingtestsprogrammingspecspecificationtddtest-driventest-driven-developmentbddbehavior-driven-developmentbehavior-drivenbehaviorui-testinguiiofunctionalfunctional-programmingfpimmutableimmutabilitycurry-howard-isomorphismcurryhowardisomorphismproofprovesproofs