Speaker: Chris Hughes
Part of the workshop Lean Together 2021:
leanprover-community.github.io/lt2021
Негізгі бет Ойын-сауық Lean Together 2021: Word problem for one-relator groups
Speaker: Chris Hughes
Part of the workshop Lean Together 2021:
leanprover-community.github.io/lt2021
Пікірлер