Skip to content
View ThorFuchs's full-sized avatar
17 followers · 224 following

Highlights

  • Pro

Block or report ThorFuchs

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
ThorFuchs/README.md

Dr. Thorsten Fuchs

PhD mathematician building TauLib, a fully constructive formal system in Lean 4, and the wider Panta Rhei Research Program.

Current focus

  • TauLib — Lean 4 formalization layer
  • Panta Rhei Research Program — mathematics → physics → life → metaphysics
  • Research website — public framework, results, publications, and verification surfaces

Start here

Background

I studied pure mathematics in Germany, then spent years in technology and leadership roles across Microsoft, AWS, and ServiceNow. I’m now focused on building and publishing the Panta Rhei research program in a fully public and inspectable form.

What I’m looking for

I’m especially interested in conversations with people working in:

  • Lean / theorem proving
  • constructive mathematics
  • category theory and topos theory
  • foundations of physics
  • formal reasoning systems

Pinned Loading

  1. Panta-Rhei-Research/taulib Panta-Rhei-Research/taulib Public

    Live Lean 4 formalization of Category τ — 450 modules, 125K lines, 4,332 theorems

    Lean 1

  2. Panta-Rhei-Research/community Panta-Rhei-Research/community Public

    Community hub — onboarding, contribution guidance, discussions

  3. Panta-Rhei-Research/books Panta-Rhei-Research/books Public

    Canonical publication + archival home — edition-bound assets, guided tours, frozen snapshots

  4. Panta-Rhei-Research/research Panta-Rhei-Research/research Public

    Active contributor-facing research workspace — notebooks, scripts, explorations