[go: up one dir, main page]
Skip to content

Tags

Tags give the ability to mark specific points in history as being important

  • v1.0.0

    edfb5564 · Update version to 1.0.0 and add git commit guidelines · 
    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