toutes les options
jessie  ] [  stretch  ] [  sid  ]
[ Paquet source : ssreflect  ]

Paquet : libssreflect-ocaml (1.6.1-2)

Liens pour libssreflect-ocaml

Screenshot

Ressources Debian :

Télécharger le paquet source ssreflect :

Responsables :

Ressources externes :

Paquets similaires :

small scale reflection extension for Coq (plugin)

This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.

Autres paquets associés à libssreflect-ocaml

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger libssreflect-ocaml

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 345,0 ko1 868,0 ko [liste des fichiers]
arm64 340,4 ko1 853,0 ko [liste des fichiers]
armel 372,1 ko1 756,0 ko [liste des fichiers]
armhf 381,8 ko1 584,0 ko [liste des fichiers]
i386 310,6 ko1 645,0 ko [liste des fichiers]
mips 91,7 ko532,0 ko [liste des fichiers]
mips64el 91,7 ko532,0 ko [liste des fichiers]
mipsel 91,7 ko532,0 ko [liste des fichiers]
ppc64el 91,7 ko532,0 ko [liste des fichiers]
s390x 91,7 ko532,0 ko [liste des fichiers]