Experiments: numeric model 'analytic-engine'#228

Open

archaephyrryx wants to merge 20 commits intoyeslogic:mainfrom archaephyrryx:analytic-engine

+4,536-41

Commits on Oct 28, 2024

Experiments; numeric model 'analytic-engine'
archaephyrryx
committed

Commits on Oct 29, 2024

Add proptest tests (and dependency) to analytic-engine
archaephyrryx
committed

Commits on Oct 30, 2024

Add elaboration module for analytic-engine
archaephyrryx
committed

Commits on Oct 31, 2024

Finish inference engine, elaborator, add printer
archaephyrryx
committed

Commits on Nov 6, 2024

Commits on Nov 7, 2024