A human-friendly and developer-friendly math proof assistant
-
Updated
Jun 26, 2024 - Python
A human-friendly and developer-friendly math proof assistant
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
🔬 Proof of Concept of an upload stream from React (JS & Native) app to.NET
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Creusot helps you prove your code is correct in an automated fashion.
A small coq library for verifying OCaml native integer computations
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Timestamp your WordPress content into the blockchain to empower your content authenticity and increase user trust.
🔬 Proof of Concept of an upload split in .NET and React JS
🔬 Proof of Concept of Dijkstra's algorithm in .NET
seL4 specification and proofs
Verified Software Toolchain
Projects, models, and proofs in KeYmaera X
A proof of concept of a recursion doing stochastic gradient descent for a simple neural network. Done in Python3 with numpy
An advanced SAT solver
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."