Skip to content

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

lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:evr/admissible-evariables

refactor: address review of admissible e-variables

d1cea6b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view