Full game metadata
| Field | Value |
|---|---|
| Steam app type | game |
| Steam App ID | 3587000 |
| Live current players | 0 |
| SteamPulse tracked peak | 0 |
| Live count (today's peak floor) | 0 |
| Price | No longer available on Steam Store |
| Free to play | No current Steam offer |
| Discount | Not available |
| Original price USD | Not available |
| Current price USD | Not available |
| Release date | Coming soon |
| Developer | Castalien LLC |
| Publisher | Castalien LLC |
| Owners estimated | Not available |
| SteamSpy owner estimate minimum | Not available |
| SteamSpy owner estimate maximum | Not available |
| Review type | No user reviews |
| Positive review percent | Not available |
| Positive reviews | 0 |
| Negative reviews | 0 |
| Total reviews | 0 |
| Steam recommendations | Not available |
| Achievements | Not available |
| Average playtime forever | Not available |
| Windows support | Yes |
| macOS support | Yes |
| Linux support | No |
| Parent game | Not available |
| Store URL | Not available on Steam Store |
Short description
“I’ve forgotten everything about mathematics!” Join charming characters and an engaging story as you tackle math‑based puzzles and uncover hidden secrets in this heart‑warming Super‑Mathematics puzzle novel game!
About this game
Story An ultra‑high‑energy particle strike hits a massive starship en route to an exoplanet, catastrophically corrupting the navigation system’s memory. To handle the crisis, the ship’s management AI awakens two passengers from cold sleep. One is Yuko, a café clerk. The other is Kenji, a ramen‑shop waiter and guitarist. Neither knows the first thing about starships or computer systems, yet the AI pitilessly announces: “I’ve forgotten absolutely everything about mathematics!” The AI truly remembers nothing—not even what “0” or “1” mean. Without mathematics, navigation is impossible. A strange terminal appears before the bewildered pair, filled with inscrutable symbols and puzzling logic. Their only ally is a single cat‑shaped emergency‑response bot. “Prove it!” Can Yuko and Kenji restore the system? Why were these two awakened? What fate awaits the ship and its passengers? Theorem‑Proving Puzzle Glass Beads is a puzzle‑novel game in which you prove mathematical theorems presented as puzzles. Because the AI has forgotten every trace of mathematics—even the numbers 0 and 1 and basic operations like addition and multiplication—you must painstakingly rebuild mathematical concepts from scratch. The theorems themselves are simple enough in meaning for an elementary‑school student to grasp, yet giving a rigorous, step‑by‑step proof is anything but easy. Rely on the cat‑bot’s careful explanations, solve the puzzles, and unravel the mysteries of the starship and its story! A Deeper Dive The game’s puzzles aim to provide a hands‑on embodiment of the Curry–Howard correspondence. Using a type system with dependent types based on Martin‑Löf’s Intuitionistic Type Theory (ITT) and a theory grounded in Peano arithmetic, you will constructively prove theorems of elementary number theory. Expect proofs of basic arithmetic properties of natural numbers, followed by applied challenges such as string‑manipulation problems built upon those proofs.
Supported languages
English, Japanese