coq-kruskal-higman Versions (4)

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