Lef Ioannidis
PhD candidate at Penn working in verification and programming languages.
Pull Requests
42
Code Reviews
6
Top Repositories
Activity Feed (latest 17)
pushed to main in vellvm/ticl
Jun 24, 2025, 8:35 PM
pushed to master in elefthei/coinduction
Jun 24, 2025, 8:34 PM
pushed to master in elefthei/rocq-ext-lib
Jun 24, 2025, 4:49 PM
pushed to master in elefthei/rocq-ext-lib
Jun 23, 2025, 6:53 PM
Description of `ForkEvent` isn't defined
Jun 23, 2025, 6:53 PM
pushed to main in vellvm/ticl
Jun 22, 2025, 9:34 AM
pushed to main in vellvm/ticl
Jun 22, 2025, 9:31 AM
pushed to main in vellvm/ticl
Jun 22, 2025, 8:58 AM
pushed to main in vellvm/ticl
Jun 22, 2025, 7:59 AM
pushed to main in vellvm/ticl
Jun 21, 2025, 9:49 PM
pushed to master in elefthei/coinduction
Jun 21, 2025, 8:52 PM
Description of `ReleaseEvent` isn't defined
Jun 21, 2025, 8:09 PM
created a tag v1.0.0 in vellvm/ticl
Jun 21, 2025, 8:09 PM
deleted tag jfp-submission at vellvm/ticl
Jun 21, 2025, 8:07 PM
deleted tag chappe-phd-submission at vellvm/ticl
Jun 21, 2025, 8:07 PM
pushed to main in elefthei/ticl
Jun 21, 2025, 8:01 PM
pushed to main in elefthei/elefthei.github.io
Jun 12, 2025, 9:02 PM