Stream: math-comp users

Topic: native docker images?


view this post on Zulip Jason Gross (Sep 12 2023 at 01:10):

Is there any obstacle to having docker images with coq-native installed? (https://github.com/math-comp/docker-mathcomp/issues/27)


Last updated: Jul 15 2024 at 20:02 UTC