• 0%
    0 votes
  • Rate this episode
    What did you think?
  • 4
    watchers
  • 6
    plays
  • 5
    collected

Computerphile: Season 2021

2021x34 Programming with Proofs
TV-G

  • 2021-09-03T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
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.
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...