Fix links from bad formalizations to progress

FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.

GNU General Public License v3.0

0 stars 5 forks source link

Closed karkub closed 1 year ago

karkub commented 1 year ago

get id of user's solution in bad formalizations

crnkjck commented 1 year ago

Use the latest solution