Lean coding problem solving challenge website with proof verification
Stars
13
Forks
0
Watchers
Open Issues
2
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
68
commits
Update judge.py
501192a
Update judge.py: typo
79582dc
Update challenges.py
7024e2e
Update challenge.py
9f21ded
17d77b7
word wrap
2470c19
import_challenges: deal with property def
5dbd820
challenge description formatting
599b3fa
code contests autoformalized challenges
174e514
instructions re import
a1575c8
typo judge
f8c4599
no longer import mathlib by default
f7692c4
extract imports
dce7508
update from easy benchmark
3037492
var edit_challenge
eb40db5