greetings

Stream: new members

[abdullah uyu]

greetings! i'm aby, an undergraduate mathematics student at université galatasaray. i've been interested in theorem provers since my first year. i've written some basic proofs for set theory for practice in coq.

i'm fairly new to lean. but i've heard that lean is more approachable for doing undergraduate mathematics.