(Translated by https://www.hiragana.jp/)
mirefek · GitHub
Skip to content
View mirefek's full-sized avatar
13 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor
Block or Report

Block or report mirefek

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. geo_logic geo_logic Public

    Tool for euclidean geometry aware of logic

    Python 77 8

  2. sokoban.lean sokoban.lean Public

    Sokoban implementation in lean for proving solvability / unsolvability

    Lean 11

  3. HolStep-Tree HolStep-Tree Public

    Python 7 1

  4. py_euclidea py_euclidea Public

    Python version of the Euclidea game for possible reinforcement learning agents

    Python 6 3

  5. pyggb pyggb Public

    Python tool for generating pictures from geometric constructions

    Python 3 1

  6. HexProver HexProver Public

    interactve prover of Hex diagrams

    Python 3