formal-applied-math/formal-mathfin-theorems download history

formal-applied-math/formal-mathfin-theorems is an other dataset on the Hugging Face Hub. In the last 30 days it was downloaded 309 times (89 in the last 7 days), and 1,164 times in total. It ranks #47,972 among datasets by monthly downloads.

Formally Verified Mathematical Finance (Lean 4) This dataset comprises 441 machine-checked theorems in mathematical finance, formalized using Lean 4 atop Mathlib and Rémy Degenne's BrownianMotion package. Each entry includes a theorem's formal statement, its proof, subject area, and a

Open formal-applied-math/formal-mathfin-theorems on Hugging Face