dogear

enter for all results · esc to close

Functional Algorithms Verified in SSReflect

github.comtool

Purely functional verified implementations of algorithms for searching, sorting, and other fundamental problems.

visit github.com ↗
0
sign in to dogear this
from
Coq
added
2026-10-10
likes
0

Coq › Projects > Verified Software: “Purely functional verified implementations of algorithms for searching, sorting, and other fundamental problems.”