Fund13 - the votes are in!

ID: #1300143

Last updated 2 weeks ago

MLabs: Static analysis with Covenant

Problem

Current Cardano contract languages cannot perform static analysis for several reasons. Alongside a lack of specifications & clear development stages, this creates notable challenges for developers.

Total to date

This is the total amount allocated to MLabs: Static analysis with Covenant. 1 out of 5 milestones are completed.

₳199,727
Total funds requested
Distributed: ₳59,528
Remaining: ₳140,199
04/25
07/25
09/25
11/25
12/25
Complete
In progress
To be completed
361
Total votes cast
₳377M
Votes yes
₳33.7M
Votes abstain

About this idea

NB: Monthly reporting was deprecated from January 2024 and replaced fully by the Milestones Program framework. Learn more here

Team

Read the Catalyst Horizons Annual Report 2025

Read the Catalyst Horizons Annual Report 2025

Visit reports hub