Creating functions in Metamath

Creating functions in Metamath

David A. Wheeler

8 лет назад

1,388 Просмотров
Ссылки и html тэги не поддерживаются

Комментарии:

@kaa1el
@kaa1el - 09.01.2018 22:49

I tried metamath 10 years ago, but now i found mechanized proof assistants are better based on some dependent type theory.

Ответить
@VanWarren
@VanWarren - 18.11.2022 18:23

Luscious

Ответить
@VanWarren
@VanWarren - 18.11.2022 18:28

this is fantastic

Ответить
Сейчас смотрят
Creating functions in Metamath 10:32
Creating functions in Metamath David A. Wheeler
Goodnight Electric - A.S.T.U.R.O.B.O.T (music video) 3:51
Goodnight Electric - A.S.T.U.R.O.B.O.T (music video) culapculap
Penghuni Terakhir - Perjuangan Menuju Surga Kelas Terendah 2:30
Penghuni Terakhir - Perjuangan Menuju Surga Kelas Terendah CulapCulip
Penyebab Rumah Angker Banyak Hantu dan Cara Mengatasinya 2:35
Penyebab Rumah Angker Banyak Hantu dan Cara Mengatasinya CulapCulip
Foster care parent visits: Child doesn't want to go and no shows 1:00
Foster care parent visits: Child doesn't want to go and no shows Laura - Foster Parent Partner
Dosa Anak Durhaka Pada Orangtua (Ibu / Ayah) 3:15
Dosa Anak Durhaka Pada Orangtua (Ibu / Ayah) CulapCulip
【衝撃】巨大化しすぎ！西之島の「成長スピード」がとんでもなくヤバい！【EEZが東京ドーム2000倍】 12:04
【衝撃】巨大化しすぎ！西之島の「成長スピード」がとんでもなくヤバい！【EEZが東京ドーム2000倍】 NEX工業
10 Warning Signs Your Body Needs More Zinc 8:52
10 Warning Signs Your Body Needs More Zinc BRAINY DOSE
Unexpected reunion: Mai was moved when her boyfriend helped her- Delicious lunch with boiled chicken 37:17
Unexpected reunion: Mai was moved when her boyfriend helped her- Delicious lunch with boiled chicken Lý Mai Farmer
This Is What Zinc Does To Your Body and What to Eat for More 8:45
This Is What Zinc Does To Your Body and What to Eat for More Body Hub
Benefits Of Zinc | The Most Important Dietary Mineral 22:06
Benefits Of Zinc | The Most Important Dietary Mineral Nutrition Library
Befreit von Jähzorn - Jesus macht Tobias zu einem neuen Menschen! 17:51
Befreit von Jähzorn - Jesus macht Tobias zu einem neuen Menschen! Jesus Reformation - The Last Reformation