代表的Leanパッケージ

Lean

コントロール＋クリック

  1. "Cli" : https://github.com/mhuisi/lean4-cli 非依存
  2. "leancolls" : https://github.com/jamesgallicchio/leancolls mathlib依存、ビルド失敗
  3. "advent" : https://github.com/odomontois/advent2022-lean mathlib依存、ビルド成功
  4. "CMark" : https://github.com/xubaiw/cmark.lean 非依存、Cソースあり、ビルド成功
  5. "Qq" : https://github.com/gebner/quote4 非依存、依存パッケージとしてビルド成功
  6. "mathlib" : https://github.com/leanprover-community/mathlib4.git std, Qq, aesop に依存、依存パッケージとしてビルド成功
  7. "aesop" : https://github.com/jlimperg/aesop stdに依存、依存パッケージとしてビルド成功
  8. "doc-gen4" : https://github.com/leanprover/doc-gen4 CMar, Unicode, Cli, lake, leanInk に依存
  9. "leanInk" : https://github.com/hargonix/leanink 非依存
  10. "Unicode" : https://github.com/xubaiw/unicode.lean 非依存
  11. "std" : https://github.com/leanprover/std4 非依存
  12. "LSpec" : https://github.com/yatima-inc/lspec 非依存
  13. "socket" : https://github.com/xubaiw/socket.lean 非依存、Cソースあり