Stream: Coq users

Topic: "Anomaly "conversion was given unreduced term (FLambda)." wi


view this post on Zulip Notification Bot (Oct 03 2023 at 13:25):

This topic was moved to #Coq devs & plugin devs > "Anomaly "conversion was given unreduced term (FLambda)." wi by Karl Palmskog.


Last updated: Jun 13 2024 at 19:02 UTC