8000 7angel4 (Angel He) · GitHub
[go: up one dir, main page]
Skip to content
View 7angel4's full-sized avatar
😇
😇
4 followers · 6 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Organizations

@AAAAS-COMP30022

Block or report 7angel4

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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. 7angel4.github.io 7angel4.github.io Public

    Glad to see you here. This is my personal website.

    JavaScript

  2. betting-game-proof betting-game-proof Public

    Computer-assisted proof for the 3-player betting game

    Jupyter Notebook

  3. prism-games prism-games Public

    Forked from prismmodelchecker/prism-games

    The main development version of the PRISM-games model checker, an extension of PRISM which supports stochastic games.

    Java 2

0