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