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