Giters

lukaszcz / sortalgs

Various sorting algorithms formalised using the "sauto" component of CoqHammer 1.3.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

sorting-algorithmsformalizationcoq-formalizationcoqcoq-libraryproofquicksortmergesortselection-sortinsertion-sort

This is a Coq formalisation of various sorting algorithms, using the sauto tactic from CoqHammer.

About

Various sorting algorithms formalised using the "sauto" component of CoqHammer 1.3.

sorting-algorithmsformalizationcoq-formalizationcoqcoq-libraryproofquicksortmergesortselection-sortinsertion-sort

License:MIT License

Languages

Language:Coq 99.0%Language:Makefile 1.0%