huynhtrankhanh

View JSON Representation

formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

• Name: Huỳnh Trần Khanh
• Location: Vietnam
• Company: @coq-community
• Kind: user
• Followers: 135
• Following: 515
• Total stars: 56
• Repositories count: 46
• Created at: 2023-04-01T06:25:41.504Z
• Updated at: 2025-02-27T04:13:09.272Z
• Last synced at: 2025-02-27T04:13:09.272Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1