/logical-induction

Code to support the guide to logical induction for software engineers (not yet published).

Primary LanguageJupyter NotebookMIT LicenseMIT

Issues