Code

allow submodule for local type#206

Code

Open

RexWzh wants to merge 2 commits intolean-dojo:mainlean-dojo/LeanDojo:mainfrom Lean-zh:mainLean-zh/LeanDojo:mainCopy head branch name to clipboard

+2-5

Commits

Commits on Sep 11, 2024

• allow submodule for local type

  RexWzh

  committed
  0c5c74c

  Copy full SHA for 0c5c74c

Commits on Dec 3, 2024

• Merge branch 'lean-dojo:main' into main

  RexWzh

  authored
  694e257

  Copy full SHA for 694e257