v4.29.0

chore: bump version to 4.29 (#74)

v4.28.0

chore: Update to Lean 4.28 (#73)

v1.0.0

Verified implementation of the discrete Gaussian mechanism, composition, and postprocessing for zero concentrated differential privacy. Application to a few simple private queries: count, bounded sum, bounded mean.