GitHub repository: Arkbmi/Comp_assisted_math
Description: Computer assisted mathematics