Functional Algorithms Verified in SSReflect

MITRocq Prover

A Coq/SSReflect port of the 'Functional Algorithms Verified' book, formalizing functional data structures and algorithms.

GitHub

50 stars7 forks0 contributors

Overview

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

8 months ago

CreatedSince 2021

Built With

Coq

Included in

Coq380

Auto-fetched 22 hours ago

Fiat-Crypto

Cryptographic Primitive Code Generation by Fiat

Stars827

Forks176

Last commit8 days ago

Jasmin

Language for high-assurance and high-speed cryptography

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Stars199

Forks20

Last commit2 years ago

CertiCoq

A Verified Compiler for Gallina, Written in Gallina

Stars170

Forks37

Last commit3 days ago