MichaelMMacLeod/formal-merge-sort MichaelMMacLeod/formal-merge-sort

  • Stars
    star
    2
  • Language Lean
  • Created 5 months ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MichaelMMacLeod/formal-merge-sort
github

MichaelMMacLeod

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

WIP formally-verified implementation of mergesort (efficient; only allocates one auxiliary array, sorts arrays in-place)

More Repositories

1

kakoi

data structure editor
Rust
2
star
2

pyret-utils

Racket
1
star
3

run-profile

Simple command-line tool for profiling across different git commits
Racket
1
star
4

secret-key-to-qr-code

Utilities for encoding / decoding a PGP secret key QR code
Shell
1
star