Skip to content
Nix CI for bundle default

preparing Trocq to add prop #180

Sign in to view logs

preparing Trocq to add prop

preparing Trocq to add prop #180

coq-elpi

coq-elpi
succeeded Jul 26, 2024 in 1m 50s