Package: metamath (0.195-1)

[ Source: metamath  ]

linguaggio per dimostrazioni matematiche

Metamath è un piccolissimo linguaggio per esprimere teoremi in matematica astratta, accompagnati da dimostrazioni che possono essere verificate da un programma al computer.

Questo programma è l'implementazione di riferimento del linguaggio. Fornisce un verificatore delle dimostrazioni, un editor di dimostrazioni e strumenti per fare automaticamente il rendering di teoremi e dimostrazioni in file HTML e LaTeX.

Questo pacchetto non contiene database di dimostrazioni, ma gli strumenti per lavorare con essi. L'utente può creare i propri database o usare quelli disponibili su Internet o forniti dal pacchetto metamath-databases.

Other Packages Related to metamath

• dep: libc6 (>= 2.14) [amd64]

  Libreria C GNU: librerie condivise
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.17) [arm64, ppc64el]

  dep: libc6 (>= 2.4) [not amd64, arm64, ppc64el]

• sug: metamath-databases

  database d'esempio per Metamath

Download metamath

Download for all available architectures

Architecture	Package Size	Installed Size	Files
amd64	335.6 kB	838.0 kB	[list of files]
arm64	332.6 kB	797.0 kB	[list of files]
armel	314.7 kB	796.0 kB	[list of files]
armhf	307.6 kB	624.0 kB	[list of files]
i386	341.0 kB	940.0 kB	[list of files]
mips64el	347.4 kB	915.0 kB	[list of files]
mipsel	352.6 kB	927.0 kB	[list of files]
ppc64el	382.8 kB	1,042.0 kB	[list of files]
s390x	302.6 kB	869.0 kB	[list of files]