Gitcoin Grants, powered by the EIP 1337 standard
, are a fast, easy and secure way to provide recurring token contributions to your favorite OSS maintainers.
Show your support.
A special thanks to the following partners who have offered to match contributions to Gitcoin Grants.
(Read Announcement Here)
This is the working group that is focused on Inflation Funding for the Ethereum Blockchain.
You can read about our project at https://githu...
of 200 DAI goal
$2.00 in CLR Matching
This project had contributions matched via CLR.
No active subscriptions
Fund this Grant
In the 21st century, on a blockchain holding billions USD in value, formal specification and verification are an essential tool. Yet the desig...
of 30,000 DAI goal
$119.64 in CLR Matching