Skip to content
View Kuniwak's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.
224 followers · 1 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

Organizations

@vim-jp @tddbc @googkit @closure-library-geeks @Vimjas @html-dnd @jsdoctypeparser

Block or report Kuniwak

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 250 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

Stars

4 stars written in Isabelle
Clear filter

data61 / PSL

Isabelle 72 9 Updated May 6, 2025

yoshinao-isobe / CSP-Prover

Isabelle 7 Updated Nov 10, 2023

hatsugai / CSP-semantics

Isabelle 2 1 Updated Feb 24, 2020

kubo39 / isabelle-training

My own Isabell/HOL training repository

Isabelle 1 Updated Mar 2, 2019