8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
mathsat-5 5.2.10-3 1 0.00 MathSAT 5 is an efficient SMT solver supporting a wide range of theories and functionalities Ice_Phoenix
pyromaths 18.9.2-1 0 0.00 French program to create mathematical exercises and models, cli version jdn06
nasc-git 0.5.1.r0.g4ee07c4-1 12 0.00 Do maths like a normal person. xpt
equalx 0.7.1-3 12 0.00 Makes you easily write equations in LaTeX and preview them in real-time J5lx
otf-asana-math 000.958-2 15 0.01 A font to typeset maths in Xe(La)TeX and Lua(La)TeX by Apostolos Syropoulos GordonGR
form 4.2.1-1 1 0.03 Symbolic Manipulation System developed at Nikhef. Revelation60
nasc 0.5.2-1 3 0.11 Do maths like a normal person. aperez
otf-gfs-neohellenic-math 20190727-1 1 0.61 An open type mathematical font from the Greek Font Society. GordonGR

8 packages found. Page 1 of 1.