Stream: Coq users

Topic: A proof with dependent types


view this post on Zulip Notification Bot (Mar 04 2024 at 13:15):

Julin Shaji has marked this topic as unresolved.

view this post on Zulip Julin Shaji (Mar 04 2024 at 13:15):

<deleted>


Last updated: Jun 22 2024 at 15:01 UTC