Тёмный
No video :(

Formal Methods: A Deep Dive Using the Coq Proof Assistant | Hedera18 

Hedera
Подписаться 38 тыс.
Просмотров 10 тыс.
50% 1
ВидеоПоделитьсяСкачатьДобавить в

Опубликовано:

 

4 сен 2024

Поделиться:

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист
Посмотреть позже
Комментарии : 17   
@dame5918
@dame5918 Год назад
This man is beyond a genius
@herbertharris7316
@herbertharris7316 5 лет назад
*BRILLIANCE at WORK!!!* 👏👏👏👏👏👏👏👏👏
@Karim-nq1be
@Karim-nq1be 3 года назад
He seems to really enjoy Coq.
@edo9k
@edo9k 3 года назад
YES hahahahhaahaahaha
@edo9k
@edo9k 3 года назад
He said "Coq" instead of "See Oh Queue" and got visibly upset.
@deariputraa5689
@deariputraa5689 3 года назад
Hedera is on firee
@johnwerner3714
@johnwerner3714 3 года назад
Bad ass coq written in haskell.
@piusnyakoojo1392
@piusnyakoojo1392 5 лет назад
That was awesome.
@peppigue
@peppigue 3 года назад
Why show the man so much? These kinds of slides require some pondering time... Poor editing.
@Supremax67
@Supremax67 3 года назад
Then its a good thing this is not a media company but a public DLT. Was that the point you were trying to make?
@maloxi1472
@maloxi1472 Год назад
In the first 3 mins, he quickly said why Lean is gonna eat Coq's lunch in the next few years
@nnpz_xvjguizl
@nnpz_xvjguizl 2 года назад
It would be great if he would say COQ instead of just spelling it out. LOL *kidding* love HBAR
@hannahsaseun2381
@hannahsaseun2381 2 года назад
Omg… he talks really fast! 💨
@LifeSuxTR
@LifeSuxTR 3 года назад
To the moon
@raphaelr2128
@raphaelr2128 5 лет назад
First
@tiefkluehlfeuer
@tiefkluehlfeuer 2 года назад
very childish to not just say the name...
Далее
Pawel Szulc - Formal verification applied (with TLA+)
43:05
Pawel Szulc - Formal verification applied (with TLA+)
Просмотров 6 тыс.
How Hashgraph Works - Dr. Leemon Baird at Thomson Reuters
16:48
How Hashgraph Works - Dr. Leemon Baird at Thomson Reuters
Просмотров 26 тыс.
Шавҳарам талоқамро додааст, аммо ором намегузорад
39:50
Шавҳарам талоқамро додааст, аммо ором намегузорад
Просмотров 150 тыс.
У ГОРДЕЯ ПОЖАР в ОФИСЕ!
01:01
У ГОРДЕЯ ПОЖАР в ОФИСЕ!
Просмотров 4,2 млн
Средневековый киборг
00:39
Средневековый киборг
Просмотров 518 тыс.
СЕРЬЁЗНО? Я НАШЕЛ АВТОБУС ДЖЕФФОВ в Реальной Жизни!
19:05
СЕРЬЁЗНО? Я НАШЕЛ АВТОБУС ДЖЕФФОВ в Реальной Жизни!
Просмотров 155 тыс.
How to Build on Hashgraph - Developer Tutorial - Dr. Leemon Baird at Thomson Reuters
39:24
How to Build on Hashgraph - Developer Tutorial - Dr. Leemon Baird at Thomson Reuters
Просмотров 17 тыс.
The five consensus algorithms #5: Virtual-voting by Dr. Leemon Baird
7:49
The five consensus algorithms #5: Virtual-voting by Dr. Leemon Baird
Просмотров 12 тыс.
Hedera Tokenomics with Dr. Leemon Baird | Hedera18 Keynote
29:42
Hedera Tokenomics with Dr. Leemon Baird | Hedera18 Keynote
Просмотров 49 тыс.
What is Formal Verification?
2:29
What is Formal Verification?
Просмотров 34 тыс.
The Hedera Hashgraph Advantage | Hedera18 Keynote
33:11
The Hedera Hashgraph Advantage | Hedera18 Keynote
Просмотров 8 тыс.
Correctness proofs of distributed systems with Isabelle/HOL
1:58:09
Correctness proofs of distributed systems with Isabelle/HOL
Просмотров 10 тыс.
Hashgraph: The Blockchain Killer? (w/ Leemon Baird)
12:08
Hashgraph: The Blockchain Killer? (w/ Leemon Baird)
Просмотров 19 тыс.
Formal Methods of Software Design - Introduction [0/33]
11:57
Formal Methods of Software Design - Introduction [0/33]
Просмотров 30 тыс.
Introduction to the Coq Proof Assistant - Andrew Appel
1:08:37
Introduction to the Coq Proof Assistant - Andrew Appel
Просмотров 15 тыс.
Blockchain & DLT Security & Attacks at Oxford University with Dr. Leemon Baird
1:15:40
Blockchain & DLT Security & Attacks at Oxford University with Dr. Leemon Baird
Просмотров 8 тыс.
Шавҳарам талоқамро додааст, аммо ором намегузорад
39:50
Шавҳарам талоқамро додааст, аммо ором намегузорад
Просмотров 150 тыс.