alla flaggor
bookworm  ]

Virtuellt paket: libcoq-stdlib-ctiy2

This is a virtual package. See the Debian policy for a definition of virtual packages.

Paket som tillhandahåller libcoq-stdlib-ctiy2

libcoq-stdlib
proof assistant for higher-order logic (theories)