Stream: Coq users

Topic: Equations type error on `fin t` while `Program` does not


view this post on Zulip Notification Bot (Mar 08 2022 at 16:04):

This topic was moved to #Equations devs & users > Equations type error on fin t while Program does not by Karl Palmskog.


Last updated: Mar 28 2024 at 11:01 UTC