RonanLJH

Ronan LJ Herry

Joined May 4, 2022
Last Post Aug 11, 2024
Seen Dec 20, 2024
Views 499
Trust Level member

Stats

• 70 days visited
• 5h read time
• 84 topics viewed
• 805 posts read
• 19 given
• 7 received
• 1 topic created
• 3 posts created

Top Replies

• Nov 2022 · 3
  Feedback request on proposed Q4 2022 governance measures
• Aug 2024 · 2
  GP13 DeFi rewards (TDR) Proposal - Folks Finance
• Aug 2023 · 1
  xGov-18 Coq-avm library for AVM version 8

Top Topics

• Aug 2022 · 1
  Structure of governance

Top Links

• arxiv.org/abs/1907.05523
• xGov-18 Coq-avm library for AVM version 8
• github.com/runtimeverification/algorand-verification/tree/release-1.1
• xGov-18 Coq-avm library for AVM version 8

Most Replied To

• GhostOfMcAfee

Most Liked By

• tebok
• ALGOnumberone
• AlbertoArrigoni
• averagezen
• Stonedalgo.algo
• proxy

Most Liked

• lobo
• BunsanMuchi
• FiloMora
• GhostOfMcAfee
• Burninglight
• GoalDarn

Top Categories

Top Badges

• Member
  Granted invitations, group messaging, more likes.

• Anniversary
  Active member for a year, posted at least once. 3 awarded.

• Welcome
  Received a like.

• First Like
  Liked a post.

• Basic
  Granted all essential community functions.