Stream: Coq users

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

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: Oct 12 2024 at 12:01 UTC