https://github.com/meithecatte/bbslides
https://github.com/meithecatte/bbslides
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/meithecatte/bbslides
- Owner: meithecatte
- Created: 2025-03-09T17:03:07.000Z (12 months ago)
- Default Branch: master
- Last Pushed: 2025-03-24T14:48:54.000Z (11 months ago)
- Last Synced: 2025-10-06T19:57:02.855Z (5 months ago)
- Language: JavaScript
- Size: 2.7 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
This repository contains the slides for the [talk we gave](https://talks.cam.ac.uk/talk/index/226546), "Formal verification of the 5th Busy Beaver value".
A recording is [available on YouTube][recording].
These slides were prepared using [slipshow].
Due to time constraints during the preparation of the talk, this repository contains only some of the slides, as for some parts, we used pre-existing slides made with Google Docs.
[recording]: https://www.youtube.com/watch?v=5X6YVEnbLZU
[slipshow]: https://github.com/panglesd/slipshow/