Skip to content

Conversation

vulder
Copy link
Member

@vulder vulder commented Apr 14, 2025

resolves #102

Co-authored-by: JC van Winkel jcvw@google.com
Co-authored-by: Bogusław Cyganek cyganek@agh.edu.pl
Co-authored-by: Jari Ronkainen ronchaine@gmail.com

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[TOPIC] concepts

1 participant