Skip to content

start porting proba.v #530

start porting proba.v

start porting proba.v #530

Annotations

10 warnings

build (mathcomp/mathcomp:2.3.0-coq-8.19)

succeeded Feb 1, 2025 in 23m 25s