Zulip Chat Archive
Stream: new members
Topic: Hamza Shezad
Hamza Shezad (Nov 02 2023 at 00:09):
Hello chat!
I am Hamza and I am interested in formal specifications, and verifications. This has led me to Lean4. I am new to Lean4, currently learning about it using the Natural Numbers Game (https://adam.math.hhu.de/#/g/hhu-adam/NNG4). I will be asking questiong shortly :)
here to learn !
Last updated: Dec 20 2023 at 11:08 UTC