About
Our Team
Industry Partners
Non-profit
Stack
Volunteers
Grants
Grants
Grants thesis
All Grantees
Project Grants
Event Grants
Fellowships
Grants Directory
FLOSS/Fund
Policy
Endsoftware patents
Public Policy
Events
IndiaFOSS
FOSS Hack
Events Timeline
Blog
Get involved
Clubs
Communities
Contribute
Forum
Resources
Newsletter
Jobs
Forklore
Archive
Login
Sagnik Saha
thesagniksaha
Joined June 2025
https://thesagniksaha.com/
autodidact
About
About
Nothing in about.
Activity
Talks Given
BENGALURU
IndiaFOSS 2025
Lightning Talk
Formalizing Mathematics and Scientific Computing with an Open-Source Theorem Prover
20 Sep 2025 | NIMHANS Convention Centre
Approved
Chapter Volunteership
Events Attended
INDIAFOSS
IndiaFOSS 2025
Must Attend
20 – 21 Sep 2025
|
NIMHANS Convention Centre
Hackathons Attended
