Skip to content
View Kaptch's full-sized avatar
🍄
🍄
41 followers · 44 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@logsem

Block or report Kaptch

Report abuse

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

Report abuse
Kaptch/README.md

Pinned Loading

  1. course_project_3year course_project_3year Public

    TeX 6

  2. discord-scheme discord-scheme Public

    Haskell

  3. logsem/VMSL logsem/VMSL Public

    Verifying FF-A hypercalls using VMSL.

    Coq 3

  4. logsem/fw-rec-inj logsem/fw-rec-inj Public

    Coq 2