SciLib Brings Machine-Checkable Formal Verification of Science to Lean

A team unveiled SciLib at the OSI Hackathon, a Lean-based framework layered on Mathlib and Physlib that aims to machine-check formalizations of a century of physics theories and experiments, with progress shared on day 241 of their hackathon streak.

2026-10-23 ~ 2026-10-23 · 2 related posts

• SciLib: A Lean-Based Framework Brings Machine-Checkable Formal Verification to Scientific Theories — CatAstro_Piyush · 2026-10-23
• SciLib formalizes a century of physics experiments and theories in Lean — CatAstro_Piyush · 2026-10-23