Website: quint.sh
Website: quint.sh
Est Monthly Spend
Repeat Buy Rate
Direct Response
Unlock show and brand data, including top ads, overall spend, and the ability to listen to ads.
#65 TLA+, Quint and Formal Verification in the Age of AI - Gabriela Moreira
0:00 / 5:36#1
Run on 1x episodeUnlock show and brand data, including top ads, overall spend, and the ability to listen to ads.
| Shows | Week5/4 | Week5/11 | Week5/18 | Week5/25 | Week6/1 | Week6/8 | Week6/15 | Week6/22 | Week6/29 | Week7/6 | Week7/13 | Week7/20 | Week7/27 | Week8/3 | Week8/10 | Week8/17 | Week8/24 | Week8/31 | Week9/7 | Week9/14 | Week9/21 | Week9/28 | Week10/5 | Week10/12 | Week10/19 | Week10/26 | Week11/2 | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Type Theory Forall | Type Theory Forall 8% | 1 | Test in progress 8% |