Massa específica do cbuq 2022. 走水 青物.

定理証明支援系 Lean. Rapid prototyping tripp and bichelmeyer.