somomboquicksort

Implementation and Formal Verification of the Quicksort Algorithm
Sort by
  1. Git dependency.
    Found on Reservoir.

    batteriesv4.14.0

    The "batteries included" extended library for the Lean programming language and theorem prover