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

Computerphile: Season 2022

2022x24 Automated Mathematical Proofs
TV-G

  • 2022-08-09T12:00:00Z on YouTube
  • 10m
  • United States
  • Documentary
Could a computer program find Fermat's Lost Theorem? Professor Altenkirch shows us how to get started with lean.
Private Notes
Add
Private Notes
Check In
Add to history
Add to collection
Add to list
Add comment
Loading...