Release v1.0.0 First stable release with Rocq 9 support: - Complete Rocq 9 migration with dune build system - Package renamed to rocq-aniceto for OPAM compliance - Core utilities: List, Map, Set, Option, Pair operations - Graph theory modules with formal proofs - 51 total Rocq source files