| 1287 | 할 수 있다 | |
| 1710 | Flattening Tables | 다국어 |
| 1901 | 논리식 | 다국어 |
| 2224 | 명제 증명 | |
| 2733 | Brainf*ck | 다국어 |
| 2769 | 논리식 비교 | 다국어 |
| 2894 | 명탐정 홍즈 | 스페셜 저지 다국어 |
| 3203 | 프로그래밍 언어 Z | 다국어 |
| 3300 | 무어 기계 | 다국어 |
| 3409 | 문자 방정식 | 다국어 |
| 3440 | Gates of Logic | 다국어 |
| 3490 | Calculating Expressions on Turing Machine | 다국어 채점 준비 중 |
| 3533 | Explicit Formula | 다국어 |
| 3550 | Auxiliary Question of the Universe | 스페셜 저지 다국어 |
| 3560 | Kripke Model | 다국어 |
| 3579 | Important Wires | 스페셜 저지 다국어 |
| 3593 | DFA | 다국어 |
| 3599 | Formula | 스페셜 저지 다국어 |
| 3604 | K’ak’-u-pakal and Mayan Script | 다국어 |
| 3636 | Horn Clauses | 스페셜 저지 다국어 |
| 3672 | Common Subexpression Elimination | 다국어 |
| 3722 | Term Generator | 다국어 |
| 3732 | Proof Generator | 다국어 |
| 3796 | Binary Polynomials | 다국어 |
| 3993 | Disjoint Regular Expressions | 스페셜 저지 다국어 |
| 4227 | Smeech | 다국어 |
| 4265 | Tautology | 다국어 |
| 4270 | WFF 'N PROOF | 스페셜 저지 다국어 |
| 4341 | 연립 방정식 | 다국어 |
| 4387 | Language Cardinality | 다국어 |
| 4415 | Spaghetti | 다국어 |
| 4466 | A Smart Brain is a Tasty Brain | 다국어 |
| 4488 | Symbolic Logic Mechanization | 다국어 |
| 4687 | Wheeler Caravans | 다국어 |
| 4802 | 함수 오버로딩 | 다국어 |
| 4838 | When | 다국어 |
| 4882 | 정규형 | 다국어 |
| 4928 | The Earth is Flat! | 다국어 |
| 4970 | 디지털 회로 개론 | 다국어 |
| 5085 | Gooseberry Tart BASIC | 다국어 |
| 5112 | Functional Programming Counts | 다국어 |
| 6254 | Computerizing a Stockroom | 다국어 채점 준비 중 |
| 6283 | Universal Question Answering System | 다국어 |
| 6311 | Single-Player Games | 다국어 |
| 6313 | Instant Complexity | 다국어 |
| 6319 | Island of Logic | 다국어 |
| 6341 | S-Trees | 다국어 |
| 6371 | Follow My Logic | 다국어 |
| 6400 | Calculator Language | 다국어 |
| 6402 | Strategy | 다국어 |
| 6446 | Peter's Calculator | 다국어 |
| 6486 | Cowculations | 다국어 |
| 6531 | 이런 문제는 유치원생도 해결할 수 있어 | 다국어 |
| 6535 | Boolean Logic | 다국어 |
| 6560 | Code the Tree | 다국어 |
| 6561 | Decode the Tree | 다국어 |
| 6702 | Lazy Evaluation | 다국어 |
| 6720 | Simplified λ-evaluations | 다국어 |
| 6899 | S and K | 다국어 |
| 7157 | 조건문 | 다국어 |
| 7324 | Parallel Expectations | 다국어 |
| 7335 | (Your)((Term)((Project))) | 다국어 |
| 7399 | Code Formatting | 다국어 |
| 7435 | Expression | 다국어 |
| 7460 | Beth Tableaux | 스페셜 저지 다국어 |
| 7607 | 리스트 계산기 | 다국어 |
| 7778 | Intelligent Design | 스페셜 저지 다국어 |
| 8171 | Algorithm Speedup | 다국어 |
| 8424 | Formuły | 다국어 |
| 9167 | 도발 봇 | 다국어 |
| 9392 | Conditional Statements | 다국어 |
| 9452 | J | 다국어 |
| 9804 | Intuitionistic Logic | 다국어 |
