Skip to content
Docker CI

Clean up the Require Import lists #68

Sign in to view logs

Clean up the Require Import lists

Clean up the Require Import lists #68

build (mathcomp/mathcomp:2.2.0-coq-8.18)

build (mathcomp/mathcomp:2.2.0-coq-8.18)
succeeded Jul 8, 2024 in 21m 44s