GAME DETAIL
Theorem Cards
種別：ゲーム
発売日：近日登場
日本語対応未確認
価格未定
Prove theorems by playing cards, just like in a game of solitaire. Your solution is checked by a real theorem prover. Sharpen your math skills by solving thousands of puzzles across six difficulty levels.
このゲームについて
Steamの詳しい説明を読む
Practice your math skills by proving theorems, and learn the most common tactics used in theorem provers, such as rewrite, apply and induction.
You do this by playing cards, just like in a game of solitaire.
Solutions are formally verified by Lean
Play thousands of procedurally generated puzzles about natural numbers. Each one comes with a reference solution, and every solution you build is checked by Lean.
The game ships with Lean 2, an earlier version of the theorem prover. It's small and fast, so every move is checked almost instantly.
Learn by playing
Some familiarity with math notation is recommended, but there is plenty of in-game help to get you comfortable with the tactics and symbols, and the interface is designed to make tactics intuitive.
Six levels, a Sandbox and share codes
There are six difficulty levels, from Intro to Master, and a Sandbox mode where you can experiment and create your own theorems. You can also share your solved puzzles using share codes.
スクリーンショット
ATTENTION
注目度メトリクス
プレイヤー推移
データ蓄積中 24時間平均選択した期間に観測データはありません。
Steamフォロワー推移
2件以上で集計 直近7日選択した期間に観測データはありません。
プレイヤー数とフォロワー数は意味と単位が異なるため、 別々の時系列として表示しています。補間した値は使用していません。
発売前注目度の基礎指標 発売前タイトルのため、Steamフォロワー数と7日増加を中心に注目度を観測します。
| 指標 | 現在値 | 観測状況 |
|---|---|---|
| 現在プレイヤー数 | 未集計 | 最終観測：未集計 |
| 24時間ピーク | データ蓄積中 | 未集計・直近7日 0件 |
| Steamフォロワー数 | 未集計 | 最終観測：未集計 |
| 7日フォロワー増加 | 2件以上で集計 | 未集計・直近7日 0件 |
PlayMEXが保存した観測値です。取得時刻と観測数を あわせて確認できます。
ジャンル・機能
機能カテゴリ
#category_playable_at_your_own_paceSteamクラウドSteam実績カスタム音量調整ファミリーシェアリング時間制限付き入力なしでプレイ可能難易度の調整
ゲームライフログ
所有ゲームとして同期されると、 このゲームの記録を残せます。