Code

Update courses.yaml#445

Code

Open

jnarboux wants to merge 3 commits intoleanprover-community:lean4leanprover-community/leanprover-community.github.io:lean4from jnarboux:patch-2jnarboux/leanprover-community.github.io:patch-2Copy head branch name to clipboard

+9

Commits

Commits on Mar 1, 2024

• Update courses.yaml

  Show description for f4ee60d
  jnarboux

  authored
  f4ee60d

  Copy full SHA for f4ee60d

Commits on Mar 2, 2024

• Update courses.yaml

  Show description for 0c52bf2
  

  jnarboux

  and

  PatrickMassot

  authored
  0c52bf2

  Copy full SHA for 0c52bf2

• Update courses.yaml

  Show description for b0e6454
  

  jnarboux

  and

  PatrickMassot

  authored
  b0e6454

  Copy full SHA for b0e6454