Paket: metamath-databases (0.0.0~20210101.git55fe226-2)
metamath-databases için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
metamath-databases Kaynak Paketini İndir:
- [metamath-databases_0.0.0~20210101.git55fe226-2.dsc]
- [metamath-databases_0.0.0~20210101.git55fe226.orig.tar.xz]
- [metamath-databases_0.0.0~20210101.git55fe226-2.debian.tar.xz]
Geliştirici:
Dış Kaynaklar:
- Ana Sayfa [us.metamath.org]
Benzer paketler:
Sample databases for Metamath
Metamath is a tiny language for expressing theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
This package contains a number of Metamath databases developed collectively by people from the Metamath project, including set.mm (Metamath Proof Explorer) and others available at http://us.metamath.org/.
You can edit and verify these databases with any tool implementing the Metamath language, including the reference implementation available in the package metamath.
metamath-databases ile İlgili Diğer Paketler
|
|
|
|
-
- rec: metamath
- Language for mathematical proofs
metamath-databases indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
all | 12.546,4 kB | 48.088,0 kB | [dosya listesi] |