ComputerphileProgramming with Proofs

2021 • D34 3. 9. 2021 17 m

Přidat seriál do seznamu sledování

Continuing our look at the Agda programming language, Professor Thorsten Altenkirch shows us how you can work with proofs, which could be invaluable in some industrial situations.

Kde se dívat na Computerphile - 2021 • D34

Získat Plex na Vaše zařízení

Zdarma na 20+ platformách. Vyberte tu svou.

App StoreiOS & Apple TV

Google PlayAndroid

TVFire TV, Roku a další

Zobrazit všechna podporovaná zařízení →