Skip to content
Nix CI for bundle coq-8.20

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #85

Sign in to view logs

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db

[coq_elpi_builtins] change error msg accumulating non-closed clause in a db #85

Annotations

1 error

coq-elpi

coq-elpi
failed Oct 25, 2024 in 1m 44s