I may be slow to respond.
-
Nanjing University
- Nanjing, Jiangsu, China
-
18:53
(UTC +08:00)
Highlights
- Pro
Popular repositories Loading
-
-
Irregular-Sliding-Puzzle
Irregular-Sliding-Puzzle PublicRedefining the sliding puzzle with customizable irregular board shapes—escape the limits of rectangular grids to offer greater challenge and variety.
C++ 4
-
Logic-Playground
Logic-Playground PublicA novel framework for mathematical logic built on the Lambda Calculus, extending its power to express nearly any theorem or proof with simple and uniform symbols, ditching the chaotic traditional m…
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.

