Repository navigation

feat: admissible e-variables, strong admissibility, and the simple null - #404

Merged

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:evr/admissible-evariables

Nov 15, 2026

Merged

feat: admissible e-variables, strong admissibility, and the simple null#404
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/admissible-evariables

Commits on Nov 15, 2026
- feat: admissible e-variables, strong admissibility, and the simple null
  
  RemyDegenne
  and
  claude
  committed
  57a2025
- refactor: address review of admissible e-variables
  
  RemyDegenne
  and
  web-flow
  committed
  d1cea6b