I'm behind on the implementation, I'm writing about It because the math checksout ... you can read about it #ecai the equations are pretty basic ...

you can follow the code on https://github.com/damagebdd/damagebdd.git

#ecai emerges from deterministic verification, so far I only have primitives and I'm pushing to get some implementation

Reply to this note

Please Login to reply.

Discussion

No replies yet.