Skip to content
View PrenexNormalForm's full-sized avatar
3 followers · 6 following

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report PrenexNormalForm

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. hacknc-2019 hacknc-2019 Public archive

    Java 1 1

  2. systematic-uncertainty systematic-uncertainty Public

    Calculates systematic uncertainty for the data in https://www.phenix.bnl.gov/phenix/WWW/info/data/ppg146/

    Python

  3. dungeons-and-datasheets dungeons-and-datasheets Public archive

    Java

  4. finite-automata finite-automata Public

    Python

  5. aoc2023 aoc2023 Public

    Advent of Code 2023

    Python

  6. aoc2024 aoc2024 Public

    Advent of Code 2024

    Python