Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / lukaszcz / sortalgs
Various sorting algorithms formalised using the "sauto" component of CoqHammer 1.3.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/lukaszcz%2Fsortalgs
Stars: 0
Forks: 0
Open Issues: 0
License: mit
Language: Coq
Repo Size: 23.4 KB
Dependencies: pending
Created: almost 4 years ago
Updated: over 2 years ago
Last pushed: over 2 years ago
Last synced: over 1 year ago
Topics: coq, coq-formalization, coq-library, formalization, insertion-sort, mergesort, proof, quicksort, selection-sort, sorting-algorithms