Narrated summary

Non-CO₂ Climate Forcers, Now Formalized in Lean

Name: Non-CO₂ Climate Forcers, Now Formalized in Lean
Uploaded: 2026-07-12
Description: Lupine Rhizo now formally accounts for methane, N₂O, HFCs, and SF₆ inside its Lean 4 climate library.

Lupine Rhizo now formally accounts for methane, N₂O, HFCs, and SF₆ inside its Lean 4 climate library.

Narrated summary: Non-CO₂ Climate Forcers, Now Formalized in Lean

Download MP4 · Download captions

Read the source article: Non-CO₂ Climate Forcers, Now Formalized in Lean