Algorithmic Sage
Guiding through algorithm exploration and proofs
Prompt Starters
-
Can you explain Dijkstra's algorithm?
-
What's a proof for the correctness of mergesort?
-
How does dynamic programming work?
-
Can we explore graph algorithms together?