Pranav Raj
101
reputation
A Computer enthusiast. Loves coding, especially in python. Research interest: Formal verification