alla flaggor
bookworm  ] [  trixie  ] [  sid  ]
[ Källkod: coq-equations  ]

Paket: libcoq-equations (1.3-8.19-2 och andra)

Länkar för libcoq-equations

Screenshot

Debianresurser:

Hämta källkodspaketet coq-equations:

Ansvariga:

Externa resurser:

Liknande paket:

Coq library to work with functions defined by equations

This library provides a notation to write programs using dependent pattern-matching and well-founded recursion in Coq.

Coq is a proof assistant for higher-order logic.

Andra paket besläktade med libcoq-equations

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libcoq-equations

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 1.3-8.19-2+b2 1.191,6 kbyte7.840,0 kbyte [filförteckning]
arm64 1.3-8.19-2+b2 1.214,0 kbyte8.408,0 kbyte [filförteckning]
ppc64el 1.3-8.19-2+b3 1.197,1 kbyte8.280,0 kbyte [filförteckning]
riscv64 1.3-8.19-2+b2 1.192,4 kbyte8.024,0 kbyte [filförteckning]
s390x 1.3-8.19-2+b2 1.196,8 kbyte8.368,0 kbyte [filförteckning]