Stack Exchange
log in

Huỳnh Trần Khanh

Huỳnh Trần Khanh
Huỳnh Trần Khanh
chat user since2021-04-28
last message572d ago
last seen114d ago
about
parent user Huỳnh Trần Khanh
1.5k 6 40

577
8

Owner of these rooms

The Lean-to

A room for discussing Lean the Language of the Month for October 2021. https://leanprover-community.github.io/
1189d ago – user
304
info