» Ubuntu » Paket » resolute (26.04LTS) » math » minlog
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Källkod: minlog  ]

Paket: minlog (4.0.99.20100221-8) [universe]

Länkar för minlog

Screenshot

Ubunturesurser:

Hämta källkodspaketet minlog:

Ansvarig:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian Science Maintainers (E-postarkiv)
  • Andreas Tille

It should generally not be necessary for users to contact the original maintainer.

Externa resurser:

Liknande paket:

Proof assistant based on first order natural deduction calculus

Andra paket besläktade med minlog

  • beror
  • rekommenderar
  • föreslår
  • enhances
  • sug: proofgeneral-minlog
    Paketet inte tillgängligt
  • sug: quack-el
    Paketet inte tillgängligt

Hämta minlog

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 2.588,4 kbyte7.643,0 kbyte [filförteckning]