a:coq:coq-logo-large.png

coq-logo-large.png

Date::

2024/03/27 20:56

Filename::

coq-logo-large.png

Format::

PNG

Size::

49KB

Width::

1000

Height::

1607

References for:

a:coq:start