4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
proofgeneral 4.4-3 23 0.00 Generic interface for proof assistants. orphan
pdfadd 2.0-1 0 0.00 Assistants de création de graphiques pour pdflatex/asymptote Gune
proofgeneral-git r8647.2626ed5-1 1 0.00 Generic interface for proof assistants kaptoxic
jelvis 1.0.2-1 1 0.08 Smart voice assistants like Alexa, Siri and Google assistants kia_hamedi

4 packages found. Page 1 of 1.