Home|About|Gaming cabinet|Archives|How it works|Starter sites

GeezerVison is showing github.com — GitHub - igrep/lean-workshop: SF.lean勉強会でigrepが書いたコードの記録

Open more actions menu

Latest commit

History

76 Commits

Folders and files

Name		Name	Last commit message	Last commit date
Test		Test
.gitignore		.gitignore
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
Test.lean		Test.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

lean-workshop

Lean勉強会

About

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

discord.gg/BtgSKavg73

Resources

Apache-2.0 license

Stars

4 stars

Watchers

1 watching

Forks

Report repository

Contributors

Languages