Skip to content
Docker CI

map num to N (binary naturals) #33

Sign in to view logs

map num to N (binary naturals)

map num to N (binary naturals) #33

Annotations

1 warning

build (coqorg/coq:8.20)

build (coqorg/coq:8.20)
succeeded Jan 11, 2025 in 2m 39s