Initial draft on 2025 October FLINT workshop#5

albinahlback merged 1 commit intoflintlib:mainflintlib/flintlib.github.io:mainfrom

albinahlback:paris2albinahlback/flintlib.github.io:paris2Copy head branch name to clipboard