gargamelle-fol-0.1.0.0: CHANGELOG.md

# Changelog for gargamelle-fol

## 0.1.0.0 — Initial Release

- First-order logic institution and streaming Z3 SMT solver pipeline.
- Hyperdoctrine structures and quantifier elimination.
- Refinement calculus generation for formal program verification.