Sha256: 5e5a681e95942bafbb811eac061ea4026a7cdc9684fecc5b1b252f635a92f914

Contents?: true

Size: 440 Bytes

Versions: 0

Compression:

Stored size: 440 Bytes

Contents

x��R[k�0[qb7mh���j{u�t�"�b�.Cо���!(�i,�%W�˲������I6��®֋8���u*��-_���+�2å�w{�3yH��At
=�I�O�f�W��di%��_s߁Җ5�,a?:�^�t]Za?�l���޵��a��@Q�2YĘ�g#)n@��އN9�������N��f��9��+(@��gO����A<gm�������m�|U͖�:�%ޮ�O�1�.Ă6i�dJ�`�c�-�
����e	��*a��q/.(ȁi�G�M�߉�j�Y�yM&����J,� �dkLz�Tk��Mkk�s�;��Y��V=;���N#ҲR)ĊϤ�(�ŗv�.�T�Q3��Z%��gƔn�j�4_�z��z'�Sg�}q�7�����l�~&(������m7/��r�w���

Quick Spec version

plurimath-0.8.14