GSoC 2025
Improving Relational Reasoning and Introducing Quantifier Support in SymPy's Assumptions Framework
Project details
Contributor
Krishnav Bajoria
Mentors
Aaron Meurer, tilorc
Technologies
Not listed in the archive
Contributor
Krishnav Bajoria
Mentors
Aaron Meurer, tilorc
Not listed in the archive