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."