ssreflect
Here are 41 public repositories matching this topic...
-
Updated
Jul 25, 2019 - Coq
CoqEAL -- The Coq Effective Algebra Library
-
Updated
Feb 7, 2021 - Coq
Lecture notes for a short course on proving/programming in Coq via SSReflect.
-
Updated
Jun 24, 2021 - Coq
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
-
Updated
Jan 20, 2022 - Coq
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
-
Updated
Feb 28, 2023 - HTML
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
-
Updated
Aug 6, 2023 - Coq
Finite sets and maps for Coq with extensional equality
-
Updated
Oct 11, 2023 - Coq
Formal power series in mathomp
-
Updated
Feb 15, 2024 - Coq
Improve this page
Add a description, image, and links to the ssreflect topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the ssreflect topic, visit your repo's landing page and select "manage topics."