A curated set of links to formal methods involving provable code.
-
Updated
Dec 12, 2021
#
certified-programming
Here are 4 public repositories matching this topic...
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.
-
Updated
Feb 28, 2019 - Coq
Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform
-
Updated
Sep 23, 2017 - Haskell
🌳 Explore and open project files in Atom
gitlab
google-analytics
mozilla
atom-package
ownership
hackerone
certified
git-hub
certified-programming
certified-kubernetes-administrator
securitypatch2019
test-flight
g-suit
certified-super-admin
-
Updated
Jul 3, 2019 - CoffeeScript
Improve this page
Add a description, image, and links to the certified-programming topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the certified-programming topic, visit your repo's landing page and select "manage topics."