csharpython/lean4game-logic Fork of Trequetrum/lean4game-logic

Make/Encode some basic logic puzzles

Language: Lean - Size: 402 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

csharpython/quaternion

四元数のライブラリ。

Language: C++ - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

csharpython/Chain-puzzle

パズルゲーム。

Language: TypeScript - Size: 72.3 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

csharpython/re_nat_game

Re:Nat game

Language: Lean - Size: 157 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

csharpython/Github-tspages

Language: HTML - Size: 11.7 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

csharpython/nat-game-ja

自然数の性質を証明するゲーム

Language: Lean - Size: 175 KB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

csharpython/lean_theorems

Leanでいろんな定理を証明してみた。

Language: Lean - Size: 55.7 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 2 - Forks: 0

csharpython/Simple_Clicker_game

This is simple clicker game.

Language: HTML - Size: 2.93 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

csharpython/Atcoder-answer-cpp

まあ、Atcoderの問題をcppで解いてみただけです。

Language: C++ - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

csharpython/Atcoder-answer-Ada

Atcoderのいろいろな問題をAdaで解いた。

Language: Ada - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

csharpython/ABC002_ANS_E.G 📦

Language: C++ - Size: 5.86 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

csharpython/ABC001_ANS_E.G._ 📦

Sample answer for "atcoder beginner contest 001"

Language: C++ - Size: 11.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

csharpython/the_clock

this is clock.

Language: HTML - Size: 2.93 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

csharpython/collatz_sequence_maker

コラッツ数列生成器

Language: C++ - Size: 98.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

csharpython/csharpython

Size: 1.95 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

csharpython/Collatz_Sequence_1to5K

コラッツ予想に関する何か

Size: 268 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0