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: Jan 29 2023 at 01:02 UTC