coq-hammer-tactics Versions (28)

Version Release Date Links
1.3.3+9.2 09 Jul 2026 Documentation
1.3.3+9.1 09 Jul 2026 Documentation
1.3.2+9.1 20 Nov 2025 Documentation
1.3.2+9.0 14 Oct 2025 Documentation
1.3.2+8.20 15 Nov 2024 Documentation
1.3.2+8.19 16 Apr 2024 Documentation
1.3.2+8.18 06 Nov 2023 Documentation
1.3.2+8.17 31 Mar 2023 Documentation
1.3.2+8.16 09 Sep 2022 Documentation
1.3.2+8.15 23 Jan 2022 Documentation
1.3.2+8.14 22 Nov 2021 Documentation
1.3.2+8.13 01 Oct 2021 Documentation
1.3.2+8.12 01 Oct 2021 Documentation
1.3.2+8.11 01 Oct 2021 Documentation
1.3.2+8.10 01 Oct 2021 Documentation
1.3.1+8.13 07 Jun 2021 Documentation
1.3.1+8.12 07 Jun 2021 Documentation
1.3.1+8.11 07 Jun 2021 Documentation
1.3.1+8.10 07 Jun 2021 Documentation
1.3+8.12 04 Aug 2020 Documentation
1.3+8.11 04 Aug 2020 Documentation
1.3+8.10 04 Aug 2020 Documentation
1.2.1+8.11 05 Jun 2020 Documentation
1.2.1+8.10 05 Jun 2020 Documentation
1.2+8.11 03 Jun 2020 Documentation
1.2+8.10 03 Jun 2020 Documentation
1.1.1+8.10 14 Oct 2019 Documentation
1.1.1+8.9 13 Jun 2019 Documentation