Stream: Coq users

Topic: ✔ One-hot-encoding values

view this post on Zulip Julin Shaji (Mar 04 2024 at 11:07):

Thanks!

view this post on Zulip Julin Shaji (Mar 04 2024 at 11:08):

Also had a related doubt: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/A.20proof.20with.20dependent.20types

view this post on Zulip Notification Bot (Mar 04 2024 at 11:08):

Julin Shaji has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC