🔬 Proof of Concept of an upload stream from React (JS & Native) app to.NET
-
Updated
May 28, 2024 - JavaScript
🔬 Proof of Concept of an upload stream from React (JS & Native) app to.NET
Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs!
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
🔬 Proof of Concept of Dijkstra's algorithm in .NET
Creusot helps you prove your code is correct in an automated fashion.
A human-friendly and developer-friendly math proof assistant
Verified Software Toolchain
Intermediate Memory Model (IMM) and compilation correctness proofs for it
seL4 specification and proofs
🧮 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
GAPT: General Architecture for Proof Theory
Timestamp your WordPress content into the blockchain to empower your content authenticity and increase user trust.
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."