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: 821.2 kB
Architectures: amd64  arm64 

 

Versions

0.183-1 amd64 0.183-1 arm64