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