>> Trisquel >> Paketler >> aramo >> virtual >> libaac-tactics-ocaml-hsco3

[ aramo ]

Sanal Paket: libaac-tactics-ocaml-hsco3

Bu bir sanal pakettir. Sanal paketlerin tanımı için Debian ilkesine bakın.

libaac-tactics-ocaml-hsco3 sağlayan paketler

libaac-tactics-ocaml: Coq tactics for reasoning modulo AC (plugin)

This page is also available in the following languages:

Български (Bəlgarski) Deutsch English suomi français magyar 日本語 (Nihongo) Nederlands polski Русский (Russkij) slovensky svenska Türkçe українська (ukrajins'ka) 中文 (Zhongwen,简) 中文 (Zhongwen,繁)

Web sitesi ile ilgili bir sorunu bildirmek için, trisquel-devel@listas.trisquel.info adresine e-posta gönderin. Diğer iletişim bilgileri için Trisquel iletişim sayfasına bakın.

İçerik Telif Hakkı © 2025 The Trisquel Project; Lisans koşullarına bakın. Trisquel bir https://trisquel.info/en/wiki/trademark-guidelines tescilli markasıdır Bu site hakkında daha fazlasını öğrenin.