Update judge.py

Update judge.py: typo

Update challenges.py

Update challenge.py

Update challenges.py

word wrap

import_challenges: deal with property def

challenge description formatting

code contests autoformalized challenges

instructions re import

typo judge

no longer import mathlib by default

extract imports

update from easy benchmark

var edit_challenge