Add nicer names in derive.param2 #64
Annotations
4 warnings
|
Run coq-community/docker-coq-action@v1:
examples/tutorial_coq_elpi_command.v#L610
This command does not support these attributes: more, this.
|
|
Run coq-community/docker-coq-action@v1:
examples/tutorial_coq_elpi_command.v#L643
This command does not support these attributes: more, this.
|
|
Run coq-community/docker-coq-action@v1:
examples/tutorial_coq_elpi_command.v#L644
This command does not support this attribute: unknown.
|
|
Run coq-community/docker-coq-action@v1:
examples/tutorial_coq_elpi_tactic.v#L632
x is already taken, Elpi will make a name up
|
Loading