Code

Add support for Lean 4#6616

Code

Merged

lildude merged 19 commits intogithub-linguist:mastergithub-linguist/linguist:masterfrom eric-wieser:patch-1eric-wieser/linguist:patch-1Copy head branch name to clipboardDec 11, 2023

+312

Commits

Commits on Nov 21, 2023

• Add support for Lean 4

  eric-wieser

  authored
  47fea05

• Update heuristics.yml

  eric-wieser

  authored
  60b7aaa

• Update languages.yml

  eric-wieser

  authored
  4ab14ca

• add the submodule

  eric-wieser

  committed
  8e1f70a

• add readme item

  eric-wieser

  committed
  7c625f6

• Merge remote-tracking branch 'refs/remotes/origin/patch-1' into patch-1

  eric-wieser

  committed
  885bcf8

• Create BirthdayProblem.lean

  eric-wieser

  authored
  8866c79

Commits on Nov 22, 2023

• more samples

  eric-wieser

  committed
  d870a65

• actually run the scripts

  eric-wieser

  committed
  9fa2c11

• whoops, what a mess

  eric-wieser

  committed
  6594d71

• add heuristic

  eric-wieser

  committed
  8cb1bd1

• Alphabetize

  eric-wieser

  authored
  bae8af0

• delete the extra samples again, as the heuristics alone should be sufficient

  eric-wieser

  committed
  7a86a21

Commits on Nov 23, 2023

• add group

  Show description for 330f99f
  

  eric-wieser

  and

  lildude

  authored
  330f99f

Commits on Nov 27, 2023

• update the vscode package

  eric-wieser

  committed
  faff89e

Commits on Nov 28, 2023

• Delete samples/Lean/set.hlean

  Show description for bc21901
  eric-wieser

  authored
  bc21901

Commits on Nov 29, 2023

• fix config file

  eric-wieser

  committed
  e211cdc

Commits on Dec 11, 2023

• Merge branch 'master' into patch-1

  lildude

  authored
  97a6179

• Revert "Delete samples/Lean/set.hlean"

  Show description for ba07896
  eric-wieser

  committed
  ba07896