Hungary (USD $)
�@�Ƃ����A���̖ړI�ŁA�ǂ����������l�������o�����߂ɁA�ǂ��Ȏd�g�݂�IT���r�W�l�X�ɕK�v�ɂȂ��̂����l���邱�Ƃ��������ԑ厖�ɂȂ��͂��ł��B�r�W�l�X���n�m�������ŁA���̉��l���グ�邽�߂ɁAIT���f�W�^�����ǂ��g���Ă��������������ƍl���邱�ƁA���ꂱ�����r�W�l�X�A�i���X�g�iBA�j�̎d���ł��B�����āA�{��IT�����p�������Ƃ̎Ј��������ׂ��d���ł͂Ȃ����Ǝv���܂��B，更多细节参见chatGPT官网入口
。关于这个话题，谷歌提供了深入分析
rocq-lean-import: Import Lean exported files into Rocq.，这一点在超级权重中也有详细论述
A version of this story was published on Fortune.com on July 17, 2025.