Hi, This is Kiva (Pronoun: she/her).

Messages not signed with my GPG Key do not represent personal opinions.

• 🌈 Love compilers and type theory.
• 🔥 Mostly code in Java and Rust but not limited to any specific language.
• 🥰 Currently working on The Aya Prover. She is a dependently-typed programming language and a promising proof assistant.