متامث

متامث
Metamath

توسعه‌دهنده(ها)	نرمن مگیل
مخزن	github.com/metamath/metamath-exe
سیستم‌عامل	لینوکس، ویندوز، مکینتاش
در دسترس به	آنسی سی
گونه	بررسی برهان رایانه-کمک
پروانه	پروانه عمومی همگانی گنو (کریتیو کامنز اختصاصی برای پایگاه داده)
وبگاه	http://metamath.org/

متامث (به انگلیسی: Metamath) زبانی برای توسعه تعاریف و برهان‌های ریاضیات صوری همراه با بررسی برهان و پایگاه داده در حال رشدِ هزاران قضایای اثبات شده با پوشش نتایجی مرسوم در منطق، نظریه مجموعه‌ها، نظریه اعداد، نظریه گروه‌ها، جبر، آنالیز و توپولوژی است همچنین موضوعاتی در فضاهای هیلبرت و منطق کوانتومی.

پیوند به بیرون

• متامث: وبگاه رسمی.
• ریاضیدانان دربارهٔ متامث چه نظری دارند: نظراتی بر متامث.