Skip to content
Sections
>> Trisquel >> Paket >> Paketsökresultat

Du har sökt efter paket vars namn innehåller libaac-tactics-coq i alla sviter, alla sektioner och arkitektur(er) amd64. Hittade 1 paket.

Exakta träffar

Paketet libaac-tactics-coq

  • aramo (math): Coq tactics for reasoning modulo AC (theories)
    8.15.0-1: all
  • nabia (math): Coq tactics for reasoning modulo AC (theories)
    8.11.0-1: all
  • etiona (math): Coq tactics for reasoning modulo AC (theories)
    8.6.1-2: all