全部搜尋項
bookworm  ]

虛擬套件:libcoq-stdlib-ig513

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

負責填實 libcoq-stdlib-ig513 的套件

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