Pinned Loading

1. Lean 4の写経 Lean 4の写経

   1

   /-----------------------------------------------------------------------

   2

   [Lean (証明アシスタント)](https://ja.wikipedia.org/wiki/Lean_(%E8%A8%BC%E6%98%8E%E3%82%A2%E3%82%B7%E3%82%B9%E3%82%BF%E3%83%B3%E3%83%88))

   3

   -----------------------------------------------------------------------/

   4

   5

   ----------------------------------------------------------------------

2. dotfiles dotfiles Public

   Shell