Pinned Repositories
lean-by-example
コード例で学ぶ Lean 言語
lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
ConcreteSemantics.lean
「Concrete Semantics」を Lean で読むノート
graduate_exam
京都大学数学系の院試の問題と解答です
InterpreterBook
「go 言語でつくるインタプリタ」の Lean によるノート
mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
NumericalAnalysis.lean
朝倉書店「Pythonによる数値計算入門」のノート
ZeroD.lean
「ゼロから作るDeep Learning」をLeanで読みたい
Seasawher's Repositories
Seasawher/mathlib4-tactics
redirect purpose only
Seasawher/mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Seasawher/mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Seasawher/lean-book
mdbook template for lean project
Seasawher/InterpreterBook
「go 言語でつくるインタプリタ」の Lean によるノート
Seasawher/ConcreteSemantics.lean
「Concrete Semantics」を Lean で読むノート
Seasawher/InvertedPendulum.jl
Seasawher/MatroidTheory
this repository is for my practice.
Seasawher/NumericalAnalysis.lean
朝倉書店「Pythonによる数値計算入門」のノート
Seasawher/ZeroD.lean
「ゼロから作るDeep Learning」をLeanで読みたい
Seasawher/aesop
White-box automation for Lean 4
Seasawher/best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
Seasawher/hello_cmake
Cmake練習用
Seasawher/JuliaNumerical
Julia と数値計算の勉強用
Seasawher/lean-action
GitHub action for standard CI in Lean projects
Seasawher/lean-by-example-fork
(fork)
Seasawher/lean-math-workshop
Seasawher/lean-update-action
Seasawher/lean-workshop
SF.lean勉強会でigrepが書いたコードの記録
Seasawher/lean4-samples
Code samples for Lean 4
Seasawher/Lean4Playground
my playground of lean4
Seasawher/LegacyZeroD.lean
Seasawher/mathematics_in_lean
MIL の演習に使用しているリポジトリ
Seasawher/nannou-example
nannnou examples with lots of Japanese comments
Seasawher/SciLean
Scientific computing in Lean 4
Seasawher/Seasawher
GitHubのプロフィール用のリポジトリです．This is my profile repository!
Seasawher/SelectionSort.lean
selection sort implemented and verified by lean
Seasawher/Semver.lean
get latest (pre)release of Lean when list of versions is given
Seasawher/SICP
WIP
Seasawher/theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳