QuickChick
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Huỳnh Trần Khanh
huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
@coq-community Vietnam
