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

[mizar] Mizar on ARM

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Mizar on ARM
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Sat, 24 May 2008 19:36:01 +0200 (CEST)

Hi,

at http://kti.mff.cuni.cz/~urban/kernel.arm.tar.gz are basic Mizarbinaries compiled for ARM/Linux. A screenshot of the verifier checkingCARD_1 on a Nokia N810 PDA is athttp://kti.mff.cuni.cz/~urban/N810Mizar.png .


Josef Urban

Follow-Ups:
- Re: [mizar] Mizar on ARM
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

References:
- [mizar] New Mizar articles
  - From: Adam Grabowski <adam@math.uwb.edu.pl>

Prev by Date: [mizar] New Mizar articles
Next by Date: Re: [mizar] Mizar on ARM
Index(es):
- Chronological
- Thread