Raspberry PI - Mizar
Roland Coghetto roland_coghetto _AT_ hotmail.com <[email protected]> Fri, 03 Mar 2023 21:03:39 +0100
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <PR3P250MB03073E7B13E183ED61E8818D83B39@PR3P250MB0307.EURP250.PROD.OUTLOOK.COM> |
Dear Mizar Users, It is possible to run Mizar on a Raspberry PI 2 model b rev 1.1 (1 GB RAM) + Raspberry Pi OS: https://github.com/CoghettoR/MizarSystem/ (compile_rpi.sh + LISEZMOI) a fork of the public repository of https://github.com/MizarProject/system Bests regards, Roland Coghetto