Users following evcc-io
Marco Kalz
mkalz
Full Prof Educational Technology at Heidelberg University of Education
Heidelberg University of Education Heidelberg
Thanawat suparongsuwan
tdealer01-crypto
Building deterministic AI execution with formal verification.
Core: Z3 SMT solver, CCVS evidence chains, cryptographic proofs.
Believer in provable governanc
dsg.pics
PreviousNext