Skip to content
View EULIR's full-sized avatar
🌍
🌍
61 followers · 156 following

Highlights

  • Pro

Organizations

@hypefortypes @15-150 @15-312 @15-317
Block or Report

Block or report EULIR

Block user

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

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
EULIR/README.md

Hi there 👋

🔭 I'm an undergraduate at School of Computer Science, Carnegie Mellon University. I major in Computer Science, with a concentration in Principles of Programming Languages.

✨ My interests are in type theory, programming language theory, and logic. My expected graduation date is December 2023.

Runming's GitHub stats

Pinned

  1. ltl-explainability ltl-explainability Public

    Linear Temporal Logic to Timeline

    TeX 6

  2. jonsterling/agda-calf jonsterling/agda-calf Public

    A cost-aware logical framework, embedded in Agda.

    Agda 51 4

  3. agda-calf agda-calf Public

    Forked from jonsterling/agda-calf

    A verified cost analysis of joinable red-black trees in calf, embedded in Agda.

    Agda