Skip to content
View YiranDuan721's full-sized avatar
2 followers · 14 following
  • Technical University of Munich
  • Munich, Germany
  • 15:08 (UTC +08:00)

Achievements

Achievement: YOLOAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: Pull Shark

Block or report YiranDuan721

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. pgdp2223-tests pgdp2223-tests Public

    Forked from MaximilianAnzinger/pgdp2223-tests

    Collection of JUnit Tests for PGdP exercises at TUM in WS22/23

    Java

  2. gad23-tests gad23-tests Public

    Forked from JohannesStoehr/gad23-tests

    Java

  3. BLmf BLmf Public

    A very naive formalization of BLmf (Bounded Lattices with monotone unary functions) as described in this paper: https://doi.org/10.1007/11964810_15

    Isabelle