circuits/Data/Permutation, branch main Tiny circuits DSL https://git.jacquescomeaux.xyz/circuits/atom?h=main 2025-10-15T21:18:45+00:00 Replace proof with new stdlib property 2025-10-15T21:18:45+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-15T21:18:45+00:00 urn:sha1:2439066ad6901ed1e083f48fb7ac4fd7a7840d27 Strengthen permutation sort theorem 2025-10-15T18:31:13+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-10-15T18:31:13+00:00 urn:sha1:21aa7526f51030be9ffd86be2eabd5d07f64b6f4 Sorted lists with the same elements are equal 2025-07-18T22:34:52+00:00 Jacques Comeaux jacquesrcomeaux@protonmail.com 2025-07-18T22:34:52+00:00 urn:sha1:2184a8f47f72a415e3387a9aaca042dd63c80fd9