Stream: Coq Platform devs & users

Topic: cClosure functions


view this post on Zulip Gregory Malecha (Aug 27 2022 at 14:06):

What do names like knr, knit, kni mean?


Last updated: Jan 30 2023 at 11:03 UTC