Skip to content
View Seasawher's full-sized avatar
🦈
You must have cute sharks!
🦈
You must have cute sharks!
53 followers · 184 following

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex2Achievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@lean-ja
Block or Report

Block or report Seasawher

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Seasawher/README.md

HELLO WORLD

I studied mathematics at Kyoto University and earned my Master's degree on Mathematics at RIMS (Research Institute for Mathematical Sciences Kyoto University).

I am currently learning about Lean language. The Lean language would bridge pure mathematics and computer science, creating a new mathematical community. My ambition is to make Lean, after TeX, the programming language known to all mathematics graduates.

📊 Stats

Anurag's GitHub stats

🖐️ My Past Contributions

Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card Readme Card

📫 Contact me

  • Feel free to visit and post a discussion on GitHub. (posting an issue is also welcome) I will reply to you.

  • Please use Discord for private discussions. seasawher is me.

🔗 Links

Acknowledgment 🙇

Pinned

  1. lean-ja/tactic-cheatsheet lean-ja/tactic-cheatsheet Public

    Lean4 の逆引きタクティクリスト

    Lean 14 5

  2. lean-ja/fp-lean-ja lean-ja/fp-lean-ja Public

    Functional Programming in Lean の日本語訳. 演習問題への解答を含みます（作業中 🚧）

    Lean 4 1

  3. lean-ja/mathematics_in_lean_source lean-ja/mathematics_in_lean_source Public

    Forked from avigad/mathematics_in_lean_source

    「Mathematics in Lean tutorial」の和訳（作業中）.

    Lean 2 1

  4. lean-ja/lean99 lean-ja/lean99 Public

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

    Lean 11

  5. free-math free-math Public

    This is a collection of legally free resources for mathematics.

    1

  6. lean-ja/lean-by-example lean-ja/lean-by-example Public

    Lean の基本的な構文や機能を紹介するためのサンプルコード集です．(WIP)

    Lean 6 1