A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
-
Updated
Jun 1, 2024 - TypeScript
A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
A human-friendly and developer-friendly math proof assistant
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
Verified Software Toolchain
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs!
Creusot helps you prove your code is correct in an automated fashion.
seL4 specification and proofs
An advanced SAT solver
🔬 Proof of Concept of an upload stream from React (JS & Native) app to.NET
🔬 Proof of Concept of Dijkstra's algorithm in .NET
Intermediate Memory Model (IMM) and compilation correctness proofs for it
🧮 Mathematical theorem proving assistant.
🔬 Proof of Concept of an upload split in .NET and React JS
A framework for formally verifying distributed systems implementations in Coq
Basic Analysis, undergraduate real analysis textbook
It works! A small rust cli tool to generate signed Verifiable Credentials given an unsigned credential and a jwk
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."