Search results
17 packages found
A tool for checking, verifying, archiving and studying mathematical proofs
Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.
A tool for checking, verifying, archiving and studying mathematical proofs
Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.
Precise Proofs validation for javascript(https://github.com/centrifuge/precise-proofs)
Verifiable state manager for React based on o1js & Mina protocol
Inductive programming for JavaScript
- type
- types
- ast
- abstract-syntax-tree
- abstract
- syntax
- tree
- induction
- inductive
- inductive-programming
- inductive-functional-programming
- test
- testing
- unit
- View more
Linked Data Proofs on the Tangle. Powered by IOTA Identity & IOTA Streams
Wasm module for the ezkl zkml library
Wasm module for the ezkl zkml library
Wasm module for the ezkl zkml library
Wasm module for the ezkl zkml library
Wasm module for the ezkl zkml library
Test proofs for development purposes
Linked Data Proofs on the Tangle. Powered by IOTA Identity & IOTA Streams
A comprehensive Merkle tree deployment tool optimized for web forms.
(https://github.com/centrifuge/react-dapp-requirements)