Highlights
Starred repositories
4
stars
written in C
Clear filter
Lean4 port of xdelta3 binary diff algorithm, with proofs