Ihre Suche nach Paketen, deren Name libcoq-stdlib enthält, in allen Suites, allen Bereichen, und auf allen Architekturen:
1 Treffer.
Genaue Treffer
Paket libcoq-stdlib
- jammy (22.04LTS) (math):
proof assistant for higher-order logic (theories) [universe]
8.15.0+dfsg-2: amd64 arm64 armhf ppc64el riscv64 s390x
- noble (24.04LTS) (math):
proof assistant for higher-order logic (theories) [universe]
8.18.0+dfsg-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
- questing (25.10) (math):
proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build1: amd64 arm64 ppc64el riscv64 s390x
- resolute (26.04LTS) (math):
proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
- stonking (math):
proof assistant for higher-order logic (theories) [universe]
8.20.1+dfsg-1build4: amd64 arm64 ppc64el riscv64 s390x
packages