#37468828-0539-459b-b822-e8bbdb6a4dfc
0
0
Coq-avm library for AVM version 8
Tools
By Mark (@mpetruska) • Session 1 • Awarded 8/31/2023
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
Claim This Proposal
Checking Proposal Status
Verifying if this proposal has been claimed...
Progress Updates
Checking team membership...
Milestones
Proposal Planning
Define proposal scope and requirements
Completed: 11/24/2024
Phase 1
Implement core functionality for phase 1
Completed: 12/24/2024
Phase 2
Implement core functionality for phase 2
Completed: 1/23/2025
Final Delivery
Complete all deliverables and documentation
Completed: 2/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