Summary - proxy - Algorand

Stats

• 103 days visited
• 4h read time
• 83 topics viewed
• 531 posts read
• 1 given
• 3 received
• 1 topic created
• 10 posts created

Top Replies

• Aug 2023 · 1
  • xGov-18 Coq-avm library for AVM version 8
• Aug 2023 · 1
  • xGov-18 Coq-avm library for AVM version 8
• May 2023 · 1
  • xGov-18 Coq-avm library for AVM version 8
• Aug 2023
  • How to call an app with just a payment?
• Aug 2023
  • How to call an app with just a payment?
• Aug 2023
  • xGov-24 VoteCoin - GitHub tools

Top Topics

• May 2023
  • Coq-avm library

Top Links

• drive.google.com/file/d/1lafzfhvD-R5va4YQjO-yxfwnHskgCC0a/view?usp=share_link
• Coq-avm library
• developer.algorand.org/docs/get-details/dapps/smart-contracts/
• How to call an app with just a payment?
• runtimeverification.com/blog/k-vs-coq-as-language-verification-frameworks-part-1
• Coq-avm library
• github.com/runtimeverification/avm-semantics
• xGov-18 Coq-avm library for AVM version 8
• tezos.org.ua/en/blog/formal-verification
• mathoverflow.net/questions/59520/how-true-are-theorems-proved-by-coq

Top Categories

Top Badges

• Member
• Anniversary
• Enthusiast
• First Onebox
• First Mention
• Editor