Skip to content
View TropicalFatFish's full-sized avatar
4 followers · 1 following

Block or report TropicalFatFish

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

Popular repositories Loading

  1. lean-interaction-mcp-course lean-interaction-mcp-course Public

    Jupyter Notebook 1 1

  2. TropicalFatFish.github.io TropicalFatFish.github.io Public

    CSS

  3. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

  4. anonymous-faithsieve anonymous-faithsieve Public

    Anonymous materials for FaithSieve

  5. LeanAgent2603-open LeanAgent2603-open Public

    Sanitized LeanAgent2603 proof pack for MiniF2F and FormalMATH-Lite

    Lean

  6. ReasBook-integer-programming ReasBook-integer-programming Public

    Forked from optpku/ReasBook

    ReasBook main branch mirror for self-hosted CI

    Lean