Skip to content
View BenFrohman's full-sized avatar
🎯
SOLVING A HARD PROBLEM. Flatter me. 📸
🎯
SOLVING A HARD PROBLEM. Flatter me. 📸
0 followers · 10 following

Highlights

Block or report BenFrohman

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

    Lean 4 formalization of the Frohmanian Symplectic Tether- a geometric approach to the 3D Navier–Stokes Millennium Problem.

    Lean 1