rocq-induction Versions (3)

Version Release Date Links
0.1.0+9.2 09 Jul 2026 Documentation
0.1.0+9.1 09 Jul 2026 Documentation
0.1.0 23 Oct 2026 Documentation