Hey! I am in my second year pursuing my BE in comp sci from BITS Pilani, India. I am familiar with python and c++. The Hypothesis Testing project sounded very interesting to me! I am experienced with logic in cs, state space models, model checking in UPPAAL, and feel that I would enjoy contributing to this.
Is the project active? If yes, can you recommend me a good place to start for the proposal?
Thanks!
Nilay