검사기 상태
"서버가 체크한다"고 주장하는 사이트는 어떤 체크가 실행되고 있는지 명확하게 밝혀야 합니다. 증명되지 않음 그리고 오늘은 검사를 실행할 수 없습니다..
| 격리 (제출이 실행되기 전에 필요한) | 사용 가능 |
| Lean 4 + Mathlib (설정할 수있는 유일한 도구 ∎) | 사용 가능 |
| SageMath | 사용 가능 |
| PARI/GP | 사용 가능 |
| Z3 / SMT | 사용 가능 |
| Python (샌드박스) | 사용 가능 |
| 플롯 (matplotlib) | 사용 가능 |
| OEIS 검색 (다른 사람의 서버, 그래서 최선을 다) | 사용 가능 |