Skip to content

1.3.0
Compare
Choose a tag to compare
@aleksnanevski aleksnanevski released this 16 Jun 14:43
· 16 commits to master since this release
v1.3.0
7b8d755
  • removed examples from the opam release
  • bumped minimal mathcomp to 1.17 and coq range to 8.15-8.17
  • mathcomp-algebra is a new dependency (needed for interval.v)
  • added examples/quicksort.v and refactored examples/bubblesort.v to use slice theory
  • added small theory of slice surgery to interlude.v
Assets 2
Loading