Skip to content
View yozawa4662's full-sized avatar
🍜
🍜
1 follower · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report yozawa4662

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

Popular repositories Loading

  1. solve-sudoku solve-sudoku Public

    Python

  2. solve-slitherlink solve-slitherlink Public

    Python

  3. PPL_Summer_School2017 PPL_Summer_School2017 Public

    Isabelle

  4. concrete-semantics-coq concrete-semantics-coq Public

    read concrete semantics and output in Coq

    Coq

  5. concrete_semantics_with_isabelle_hol concrete_semantics_with_isabelle_hol Public

    Isabelle

  6. dot_fonts dot_fonts Public

    ドット絵のフォント置き場。主に32x128のOLED用

    C