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: 144
• Following: 529
• Total stars: 67
• Repositories count: 51
• Created at: 2023-04-01T06:25:41.504Z
• Updated at: 2025-05-28T08:55:50.983Z
• Last synced at: 2025-05-28T08:55:50.982Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1