Kaliszyk, Cezary

1 ta ish

University of Innsbruck

1. MizAR 60 for Mizar 50

   Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra +6

   Preprint202333 iqtibos

   ABIABI:AkademIndex/2026.other.206430