I have some random project ideas that I am interested in pursuing at some point in my life. If you're interested in any of them contact me!
- theorem prover
- a simple c++ simulator for fluid dynamics
I have some random project ideas that I am interested in pursuing at some point in my life. If you're interested in any of them contact me!