(no subject)

[66george]

Ну, с Новым годом на новом месте. Написал ликбез по пруфчекеру Metamath, вставлю его в начале нового учебника

https://www.mediafire.com/file/ygq7hwwo7wxnnou/Metamath.pdf/file

P.S.Вспомнил, что у меня есть видео на эту тему (но сначала ликбез)

https://cloud.mail.ru/public/o9cs/qK8dWVtgJ