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 message730d ago
last seen272d 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/
1347d ago – user
304
info