Re: [mizar] Raspberry PI - Mizar

[Alex Nelson <thmprover@gmail.com>]

Hello,

This is wonderful! Thank you for this, I was able to get it to work on a Raspberry Pi 4B, and I couldn't be happier to get Mizar working on it.

Best,
Alex

On Fri, Mar 3, 2023 at 12:05 PM Roland Coghetto roland_coghetto _AT_ hotmail.com <owner-mizar-forum@mizar.uwb.edu.pl> wrote:

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