Algorithmic Sage

Description:

Guiding through algorithm exploration and proofs

Try on GPT:

https://chat.openai.com/g/g-eXcdTU7Yy-algorithmic-sage