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