Torrent details for "Megill M Metamath A Computer Language for Mathematical Proofs 20…" Log in to bookmark
Controls:
Category:
Language:
English
Total Size:
5.3 MB
Info Hash:
B813DB4046FF321930DB8FDCFB647EB5C286DFA8
Added By:
Added:
July 1, 2023, 2:49 p.m.
Stats:
| Update
| File | Size |
|---|
Thanks for rating :
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
zuluDROOG (3), jhp2025 (5), KingRagnar (5), PeakBadass (5), TWDGOTfan (5), LokiGOAT (5),
Name
DL
Uploader
Size
S/L
Added
NOTE
SOURCE: Megill M Metamath A Computer Language for Mathematical Proofs 2019 andryold1
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
None
