Formal Verification of Plasma-Mediated N₂ Fixation — Viridis Applied Proofs Series 1

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Hart, Justin
Natura:	Recurso digital
Pubblicazione:	Zenodo 2026
Soggetti:	formal verification Lean 4 Mathlib Aristotle Harmonic plasma chemistry nitrogen fixation thermodynamics Haber-Bosch alternative energy efficiency atmospheric N2 Viridis canon machine-checked proof P7 module sustainable agriculture green chemistry
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online