Seasawher

Kitamado

Seasawher

I like mathematics and Lean language.

Japan 首次见于 2023-01-03

0

事件

176

公开仓库

115

关注者

254

关注中

最近动态事件流

Pushleanprover-community/lean-updaterefs/heads/issue257

25 天前

Issueslean-ja/lean-by-example#552closed

2024-08-03

Deletelean-ja/lean-by-exampleSeasawher/issue552

2024-08-03

Issueslean-ja/lean-by-example#552closed

2024-08-03

Pushlean-ja/lean-by-examplerefs/heads/main

2 次提交

2024-08-03

PullRequestlean-ja/lean-by-example#569closed

2024-08-03

Pushlean-ja/lean-by-examplerefs/heads/main

2 次提交

2024-08-03

PullRequestlean-ja/lean-by-example#569opened

2024-08-03

IssueCommentlean-ja/lean-by-example#552created

2024-08-03

Createlean-ja/lean-by-exampleSeasawher/issue552

2024-08-03

PushSeasawher/Semver.leanrefs/heads/main

1 次提交

2024-08-03

Pusholiver-butterley/lean-updaterefs/heads/get-latest

1 次提交

2024-08-03

PushSeasawher/mk-exerciserefs/heads/main

1 次提交

2024-08-03

IssueCommentoliver-butterley/lean-update#32created

2024-08-03

PullRequestoliver-butterley/lean-update#32opened

2024-08-03

Createoliver-butterley/lean-updateget-latest

2024-08-03

ReleaseSeasawher/Semver.leanpublished

2024-08-03

CreateSeasawher/Semver.leanlatest

2024-08-03

PushSeasawher/Semver.leanrefs/heads/main

1 次提交

2024-08-03

PushSeasawher/Semver.leanrefs/heads/main

1 次提交

2024-08-03