GitHub repository: ATOMSLab/LeanBET
Primary language: Lean
Created: 2024-08-19T19:10:46Z
Description: Formally-verified BET Adsorption analysis in Lean