静的サイトジェネレータ (SSG) についていろいろと調査をしたときのメモを公開します．

型理論のリソースを探したのでメモします．

lean でのゼロ除算の扱いについて

Lean4 で選択ソートを実装します

Lean4 でフィボナッチ数列の２つの表現を実装し，同値であることを示します

Lean4 タクティクリストを公開しました

Lean日本語コミュニティができました

Lean でできたらいいなと思うこと

Lean4 + mathlib4 で圏論で出てくる図式を可視化できるよ

集合の圏での同型って弱いよねという話