https://github.com/lukaszcz/sortalgs

Various sorting algorithms formalised using the "sauto" component of CoqHammer 1.3.
https://github.com/lukaszcz/sortalgs

coq coq-formalization coq-library formalization insertion-sort mergesort proof quicksort selection-sort sorting-algorithms

Last synced: 4 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/lukaszcz/sortalgs
• Owner: lukaszcz
• License: mit
• Created: 2020-07-28T13:33:05.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2021-09-24T17:28:04.000Z (over 4 years ago)
• Last Synced: 2025-02-24T10:35:52.587Z (12 months ago)
• Topics: coq, coq-formalization, coq-library, formalization, insertion-sort, mergesort, proof, quicksort, selection-sort, sorting-algorithms
• Language: Coq
• Homepage:
• Size: 23.4 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
This is a Coq formalisation of various sorting algorithms, using the `sauto` tactic from [CoqHammer](https://coqhammer.github.io).