seasawher
I like mathematics and Lean language.
Funding Links: https://github.com/sponsors/Seasawher
- Name: Kitamado
- Location: Japan
- Company: Proxima Technology
- Kind: user
- Followers: 81
- Following: 230
- Repositories count: 5
- Created at: 2022-11-18T15:36:23.449Z
- Updated at: 2025-03-29T18:51:37.431Z
- Last synced at: 2025-03-29T18:51:37.431Z
GitHub Sponsors Profile
おもに Lean 言語に関する日本語の情報を充実させるための活動をしています。
ご支援をいただけると大変励みになります。
- Current Sponsors: 2
- Past Sponsors: 0
- Total Sponsors: 2
- Minimum Sponsorship: $3.00
Featured Works
Seasawher/graduate_exam
京都大学数学系の院試の問題と解答です
Language: TeX - Stars: 52leanprover-community/lean4-metaprogramming-book
Language: Lean - Stars: 240lean-ja/lean-by-example
コード例で学ぶ Lean 言語
Language: Lean - Stars: 92Seasawher/mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Language: Lean - Stars: 16Seasawher/mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Language: Lean - Stars: 7Seasawher/mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
Language: Python - Stars: 16Active Sponsors
pogin503
hosht
Past Sponsors
Sponsor Breakdown
- User: 2