update terms and theorems with new mappings #107
Triggered via pull request
February 20, 2025 10:20
fblanqui
Status
Failure
Total duration
10m 29s
Artifacts
–
Annotations
3 warnings
|
build (dev):
With_N.v#L60
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev):
With_N.v#L68
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev):
With_N.v#L87
"From Coq" has been replaced by "From Stdlib".
|