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: Jun 18 2024 at 21:01 UTC