Donating to
Securing web3 with the Inference Programming Language
How do you want to donate?
One-Time Donation
Recurring Donation
Please connect your wallet
Estimated matching
0 undefined
Select Token
$ 0.00
Donate to Giveth
5%10%15%20%
%
Donating to Securing web3 with t...
---
Donating 5% to Giveth
---
Your total donation
---
Make my donation anonymous
By checking this, we won't consider your profile information as a donor for this donation and won't show it on public pages.
Securing web3 with the Inference Programming Language
Raised: $0.00
Inference is a programming language with built in formal verification
capabilities, designed for critical and high assurance systems development. With
it you can write mathematically verified correct code without a PhD in math.
In our web3 world when there is an error in smart contract code it ca...
100% goes to the project always.
Every donation is peer-to-peer, with no fees and no middlemen.
Learn about our zero-fee policy