Extreme branchless: Expr without GADTs or sum-types

AI system learns from many types of scientific information and runs experiments to discover new materials

The attr() function in CSS now supports types

Verified dynamic programming with Σ-types in Lean