feat: plan 12 part C Prop generators, Cardano V3 library, Data conversion traits - #32

Merged

MicroProofs merged 10 commits into

mainfrom

Sep 26, 2026

Commits on Sep 25, 2026

feat(base): complete Prop generators
MicroProofs
committed
594d180
feat(base): improve Prop offsets and Int powers
MicroProofs
committed
4f8f3a6
refactor(base): use power table and drop filtering
MicroProofs
committed
80fbf74
feat(base): add Cardano V3 library
MicroProofs
committed
6c489a6
refactor(data): consolidate conversion traits
MicroProofs
committed
d7301b1
feat(base): add math and crypto helpers
MicroProofs
committed
bec1d2a
refactor(base): share pipes for Data conversions
MicroProofs
committed
09ca831
refactor(base): pipe one-argument call chains
MicroProofs
committed
100e54a

Commits on Sep 26, 2026

feat(can): default-import Function
MicroProofs
committed
4c3c9db
chore: fmt a few of the base nash files
MicroProofs
committed
16c4546