Hi again. Among a bunch of 'backup disks' I came across of 'Edukacja 022 v02". It's a polish educational (math) software. There are three entries in HOL for other parts, so you might be interested in adding additional entry. I uploaded some screenshots to my directory on HOL ftp. No disk scan though, as I don't have original disk.
Last edited by uicr0Bee; 30 January 2024 at 18:49.
|