#37468828-0539-459b-b822-e8bbdb6a4dfc
0
0
Coq-avm library for AVM version 8
Tools
By Mark (@mpetruska) • Session 1 • Awarded 8/31/2023
Vote Results
Proposal Failed(12% of required votes)
Votes Received
32,182,146,255
Votes Needed
267,375,902,492
About the Proposal
The aim is to finish the implementation of the coq-avm library for version 8 af the AVM. An introduction of the library can be found here: coq-avm-introduction.pdf
Progress Updates
This proposal does not exist in the database yet. Progress updates are only available for database proposals.
To enable progress updates, run the database seed script:
npm run seed
Milestones
Proposal Planning
Define proposal scope and requirements
Completed: 9/22/2025
Final Delivery
Complete all deliverables and documentation
Completed: 10/22/2025
Comments
Please sign in to leave a comment.
No comments yet. Be the first to comment!
Proposal Summary
Funding
250,000 ALGO
xGov Period
Session 1
Status
Completed
Completion
100%
Community Votes
0
0
Team
Mark (@mpetruska)
View all proposals by this team