2 Repositories
Rust prop Libraries
Implements the Smart Contract for the Unity Proposal.
cw-unity-prop A CosmWasm Smart Contract to implement the Juno Unity Prop. For information on verifying the on-chain smart contract, see VERIFYING.md.
5 Apr 27, 2022
A library in Rust for theorem proving with Intuitionistic Propositional Logic.
Prop Propositional logic with types in Rust. A library in Rust for theorem proving with Intuitionistic Propositional Logic. Supports theorem proving i
48 Jan 3, 2023