Relation Algebra

LGPL-3.0Rocq Proverv1.9.0

A modular relation algebra library for Rocq (Coq) with reflexive decision tactics for Kleene algebra with tests and related theories.

GitHub

52 stars17 forks0 contributors

Overview

Relation algebra library for Coq

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

1 month ago

CreatedSince 2015

Built With

Coq

Included in

Coq380

Auto-fetched 22 hours ago

Interaction Trees

A Library for Representing Recursive and Impure Programs in Coq

Stars251

Forks60

Last commit2 days ago

coq-haskell

A library for formalizing Haskell types and functions in Coq

Stars172

Forks11

Last commit2 years ago

ExtLib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Stars137

Forks53

Last commit1 month ago

Formalised Undecidable Problems

A library of mechanised undecidability proofs in the Coq proof assistant.