W dniu czwartek, 2 stycznia 2020 21:27:02 UTC+1 użytkownik Maciej Sobczak napisał:
> > Na ile mogę się domyślić, chodzi o projekt MIZAR, zapoczątkowany przez Andrzeja
Trybulca z Białegostoku.
> >
> > http://mizar.org/
>
> Ale to nie konkuruje z Wolframem, wydaje się raczej istnieć w zupełnie innej
przestrzeni. Tzn. wyobrażam sobie, że ktoś używa obu a nie jednego zamiast drugiego.

Zgadza się, w kontekście tej dyskusji to przykład zupełnie od czapy.