Search results
16 packages found
A tool for checking, verifying, archiving and studying mathematical proofs
Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.
Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.
A tool for checking, verifying, archiving and studying mathematical proofs
Verifiable state manager for React based on o1js & Mina protocol
Precise Proofs validation for javascript(https://github.com/centrifuge/precise-proofs)
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
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
Linked Data Proofs on the Tangle. Powered by IOTA Identity & IOTA Streams
Test proofs for development purposes
(https://github.com/centrifuge/react-dapp-requirements)