Pinned Loading

1. collatzProof_DivSeq collatzProof_DivSeq Public

   割数列を用いたコラッツ予想の証明

   Idris 1 1

2. divseq2 divseq2 Public

   割数列を用いたコラッツ予想の証明Ⅱ

   Lean 1 1

3. 4CT_Haskell 4CT_Haskell Public

   四色定理を Haskell に移植したよ

   Haskell

4. 4CT_Ruby 4CT_Ruby Public

   Ruby とオブジェクト指向による四色定理

   Ruby 1

5. godel godel Public

   Mathematical Girls

   Idris

6. emehcs emehcs Public

   へなちょこ逆向き Scheme

   Ruby