Stream: MetaCoq

Topic: coq-native


view this post on Zulip Jason Gross (Oct 18 2023 at 02:25):

Has anyone managed to compile metacoq with coqnative on? (template-pcuic/theories/PCUICSafeReduce is taking longer than 15 min in coqnative for me)


Last updated: Jul 23 2024 at 21:01 UTC