Skip to content
You must be logged in to sponsor Seasawher

Become a sponsor to Kitamado

@Seasawher

Kitamado

Seasawher
Japan

おもに Lean 言語に関する日本語の情報を充実させるための活動をしています。
ご支援をいただけると大変励みになります。

Featured sponsors

@pogin503

Current sponsors 2

@pogin503
@hosht

Featured work

  1. Seasawher/graduate_exam

    京都大学数学系の院試の問題と解答です

    TeX 53
  2. Lean 240
  3. lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    Lean 92
  4. Seasawher/mdgen

    Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

    Lean 17
  5. Seasawher/mk-exercise

    Simple and intuitive tool to manage exercises in textbooks written in Lean.

    Lean 7
  6. Seasawher/mathlib4-help

    List of the output of #help command of mathlib4, including list of all tactics, commands...etc

    Python 17

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

You'll receive any rewards listed in the $3 monthly tier. Additionally, a Public Sponsor achievement will be added to your profile.

$3 a month

Select

コーヒーをおごる ☕

$5 a month

Select

お菓子🍩をおごる