Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Neveln, Bob"'
Autor:
Neveln, Bob, Alps, Bob
ProofCheck is a system for writing and checking mathematical proofs. Theorems and proofs are contained in a plain {\TeX} or {\LaTeX} document. Parsing and proof checking are accomplished through Python programs which read the source file. A general e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::082fcebcb8ead7f5a059e137a66b5c64
