Skip to content
fall in love with @SEmmmer
fall in love with @SEmmmer




@owo-lang @nonstop-story @voosc @aya-prover
Block or Report

Block or report imkiva

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Hi, I am Kiva.

This is my PGP Key, fingerprint E53C C418 84DA E870 050B 6623 A653 1CD6 A528 D89D with mail

I have lost trust in all mail service providers, so please encrypt the mail with the key if it will contain sensitive information

  • 🍥 Currently a college student.
  • 🌈 Love compilers and type theory.
  • 🔥 Mostly code in Rust, Java and Kotlin
  • 🥰 Currently working on The Aya Prover.
  • 🔑 Want to learn Arend, Agda and Haskell
  • Powered by love


  1. ~ Who's generalizing definitional equalities?

    Java 81 2

2,655 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to aya-prover/aya-dev, plctlab/mzi-lang, imkiva/fluorine-rs and 5 other repositories

Contribution activity

June 2021

2 contributions in private repositories Jun 9 – Jun 12

Seeing something unexpected? Take a look at the GitHub profile guide.