Skip to content

Releases: JLimperg/talk-2025-01-cpp-aesop-script

2025-01-21-19.34.22

21 Jan 18:34
@github-actions github-actions
2025-01-21-19.34.22
f796737

Choose a tag to compare

View all tags
2025-01-21-19.34.22 Latest
Latest 
Coq -> Rocq
Assets 4
Loading

2025-01-21-18.31.42

21 Jan 17:31
@github-actions github-actions
2025-01-21-18.31.42
7beefa9

Choose a tag to compare

View all tags
2025-01-21-18.31.42 
Fix jumping content on reordering with mvars slide
Loading

2025-01-21-06.31.27

21 Jan 05:31
@github-actions github-actions
2025-01-21-06.31.27
4528082

Choose a tag to compare

View all tags
2025-01-21-06.31.27 
Add conclusion slide
Loading

2025-01-20-20.03.16

20 Jan 19:03
@github-actions github-actions
2025-01-20-20.03.16
554b537
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
2025-01-20-20.03.16 
Create README.md
Loading

2025-01-20-20.00.13

20 Jan 19:00
@github-actions github-actions
2025-01-20-20.00.13
78a2149

Choose a tag to compare

View all tags
2025-01-20-20.00.13 
Simplify local dynamic optimisation slide
Loading