Aotearoa (New Zealand)

Stream: Geographic locality

[Robert Culling]

Kia ora :) I'm a mathematics teacher at UC in Christchurch, New Zealand. Is there anyone else from New Zealand on here? Let me know! I would like to start a group for those of us interested in formalising mathematics in lean.

[Min-Hsien Weng]

Hello/ Kia ora,
Thanks for inviting me to this forum.
My Github account is samminweng

My researh interests: software verification, compiler with natural language processing (large language models).
I am looking for information about Lean, as I am currently based in Hamilton.