Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@choukh
choukh
Follow
View choukh's full-sized avatar
🏠
Working from home

Chou Kyuhei choukh

🏠
Working from home
programming maths
  • Singapore

Block or report choukh

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

Pinned Loading

  1. Bedrock Bedrock Public

    Mechanizing the metaphysics of V

    Python 1

  2. ETCS ETCS Public

    Elementary Theory of the Category of Sets in Agda

    1

  3. agda-googology agda-googology Public

    formalized googology in agda

    CSS 3

  4. agda-veblen agda-veblen Public

    veblen function in agda

    Agda 5

AltStyle によって変換されたページ (->オリジナル) /