QuickChick
Users following QuickChick
Anton Ping
antonping
A student at Moscow State University. Write Rust and Haskell most of the time.
Moscow State University Moscow
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
@rocq-community Vietnam
