Skip to content
View Youngjoo-Ahn's full-sized avatar
2 followers · 0 following
  • Yonsei University

Highlights

  • Pro

Block or report Youngjoo-Ahn

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

seL4 / l4v

seL4 specification and proofs

Isabelle 611 120 Updated Jun 12, 2026

awslabs / AutoCorrode

Verification infrastructure for the Isabelle/HOL interactive proof assistant

Isabelle 95 18 Updated Jun 12, 2026

seL4 / seL4

The seL4 microkernel

C 5,545 774 Updated Jun 14, 2026

logsem / iris-tutorial

Rocq Prover 83 36 Updated Sep 4, 2025

PnVDiscord / PnVRocqLib

📝 A Rocq library written by members of PnV Discord Server

Rocq Prover 18 1 Updated Jun 13, 2026