Skip to content

some experiments with pure typing rules #162

some experiments with pure typing rules

some experiments with pure typing rules #162

Annotations

2 warnings

build (coqorg/coq:8.18)

failed May 14, 2024 in 6m 24s