|
.github/workflows
|
Initial commit
|
2026-03-09 08:03:07 +00:00 |
|
Bobkonf
|
this is the version that I actually presented
|
2026-03-16 08:38:37 +01:00 |
|
LeaningIn
|
Leaning In slides
|
2026-03-11 14:37:48 +01:00 |
|
.gitignore
|
Add _slides to gitignore
|
2026-03-09 09:17:34 +01:00 |
|
Bobkonf.lean
|
Get started on Bobkonf slides
|
2026-03-09 21:22:23 +01:00 |
|
lake-manifest.json
|
Have a version of the Bobkonf talk
|
2026-03-10 20:18:48 +01:00 |
|
lakefile.toml
|
WIP Bobkonf slides
|
2026-03-10 12:45:48 +01:00 |
|
lean-toolchain
|
Leaning In slides
|
2026-03-11 14:37:48 +01:00 |
|
LeaningIn.lean
|
Leaning In slides
|
2026-03-11 14:37:48 +01:00 |
|
LICENSE
|
Initial commit
|
2026-03-09 08:03:07 +00:00 |
|
README.md
|
Get started on Bobkonf slides
|
2026-03-09 21:22:23 +01:00 |
|
style.css
|
Leaning In slides
|
2026-03-11 14:37:48 +01:00 |
