metamath - 0.183-1 main

Language for mathematical proofs

Section: math
Suites: byzantium landing 
Maintainer: Giovanni Mascellani <gio@debian.org>
 
Homepage Source Package
 

Dependencies

Installed Size: 783.4 kB
Architectures: arm64  amd64 

 

Versions

0.183-1 arm64 0.183-1 amd64