Closed algorys closed 6 years ago
Let user choose to display "problems" or "synthesis" at start.
Done.
Let user choose to display "problems" or "synthesis" at start.