Skip to content
Build

fix: actually use new lemma in Rezk.Universal #3184

Sign in to view logs

fix: actually use new lemma in Rezk.Universal

fix: actually use new lemma in Rezk.Universal #3184

Annotations

2 errors

build

build
cancelled Nov 11, 2024 in 3m 35s