leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

Update courses.yaml

Open jnarboux opened this issue 1 year ago • 0 comments

Add experiment in Strasbourg

jnarboux avatar Mar 01 '24 14:03 jnarboux