Skip to content

Fixed a few comments in the demo. #20

Fixed a few comments in the demo.

Fixed a few comments in the demo. #20

Annotations

1 warning

build (coqorg/coq:8.17)

succeeded Dec 20, 2024 in 2m 16s