لاحظت شيئًا خاطئًا أو قديمًا؟ أخبرنا وسنراجعه.
بخصوص هذه الفرصة: Automated Reasoning for Quantum Mechanics