[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Raspberry PI - Mizar

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Raspberry PI - Mizar
From: Roland Coghetto <roland_coghetto@hotmail.com>
Date: Fri, 03 Mar 2023 21:03:39 +0100

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

Follow-Ups:
- Re: [mizar] Raspberry PI - Mizar
  - From: Alex Nelson <thmprover@gmail.com>

Prev by Date: [mizar] AITP 2023 - Call for Contributions
Next by Date: Re: [mizar] Raspberry PI - Mizar
Index(es):
- Chronological
- Thread