hspec
Users following hspec
Vishal Lama
vishallama
Software Engineer (Scala/Python/R), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
USA
Anurudh Peduri
anurudhp
PhD Candidate. Working on programming languages and logic for quantum computing.
Ruhr University Bochum
