LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Lean

lean-workshop

SF.lean勉強会でigrepが書いたコードの記録

LeanEmerging

Stars

4

Forks

3

Contributors

2

Last push

10h ago

Recent commits

Latest commits.

2026/06/16
aa5a943YAMAMOTO Yuji10h ago
2026/06/02
7a4626bYAMAMOTO Yuji14d ago
fix errors after upgrading Lean
b1d313aYAMAMOTO Yuji28d ago
2026/05/19
11c5bf1YAMAMOTO Yuji28d ago
Merge pull request #4 from spinylobster/main
a1c0a05YAMAMOTO Yuji1mo ago

Lean のバージョンをv4.29.1に更新

3d2e0edspinylobster1mo ago

7262856YAMAMOTO Yuji1mo ago

81c15a0YAMAMOTO Yuji2mo ago

Top contributors

Builders behind this project.