ssreflect
Here are 41 public repositories matching this topic...
Lecture notes for a short course on proving/programming in Coq via SSReflect.
-
Updated
Jun 24, 2021 - Coq
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
-
Updated
Dec 16, 2022 - Coq
Monadic effects and equational reasonig in Coq
-
Updated
Apr 28, 2024 - Coq
A Coq formalization of information theory and linear error-correcting codes
-
Updated
Apr 25, 2024 - Coq
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
-
Updated
Feb 28, 2023 - HTML
-
Updated
Oct 15, 2023 - Coq
Finite sets, finite maps, multisets and generic sets
-
Updated
Jan 17, 2024 - Coq
-
Updated
Jan 19, 2024 - Coq
Finite sets and maps for Coq with extensional equality
-
Updated
Oct 11, 2023 - Coq
Ring, field, lra, nra, and psatz tactics for Mathematical Components
-
Updated
Jan 18, 2024 - Coq
A proof of Abel-Ruffini theorem.
-
Updated
Apr 8, 2024 - Coq
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
-
Updated
Jan 20, 2022 - Coq
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
-
Updated
Dec 8, 2023 - Coq
The formal proof of the Odd Order Theorem
-
Updated
Nov 29, 2023 - Coq
Micromega tactics for Mathematical Components
-
Updated
Jan 17, 2024 - Coq
Stable sort algorithms and their stability proofs in Coq
-
Updated
Mar 29, 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."