coq-kruskal-higman Versions (5)

Version Release Date Links
2.0 08 Jan 2026 Documentation
1.3 23 Nov 2024 Documentation
1.2 28 Aug 2024 Documentation
1.1 23 May 2024 Documentation
1.0 01 Mar 2024 Documentation