huynhtrankhanh

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

Company:@coq-community Location:Vietnam

Pinned Repositories

huynhtrankhanh's Repositories