search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

Add playlist of the "Learning Mathematics with Lean (2022)" event #94

Closed pitmonticone closed 1 year ago

Kha commented 1 year ago

Could you please clean up the git history?

pitmonticone commented 1 year ago

Could you please clean up the git history?

I've squashed all the commits I was allowed to squashed.

pitmonticone commented 1 year ago

@Kha I can just re-fork the repository and add the new commit. Would it be fine?

Kha commented 1 year ago

I've squashed them during merge now, but for the record, you do not need to refork the repo in order to rebase a PR branch

pitmonticone commented 1 year ago

Thanks a lot @Kha.