coq/doc/changelog/10-standard-library/12031-ollibs-cpermutation.rst, branch master The formal proof system Release notes for 8.12. 2020-05-27T13:38:24+00:00 Théo Zimmermann 2020-05-23T10:58:37+00:00 2f0a89e59e615e6101096b36e12e7b7bbace8eff 






A library on cyclic permutations: CPermutation
2020-04-19T20:48:21+00:00

Olivier Laurent

2020-04-05T17:34:07+00:00

f5866113d0ab1463eae690871a44fca9c2ed6dcd

  (following the pattern of Permutation.v)





  (following the pattern of Permutation.v)