Skip to content
Back to pull request #487

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #827

Sign in to view logs

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs

change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs #827

coq

coq
succeeded Oct 24, 2024 in 40s