Stream: Coq users

Topic: ✔ Me being illiterate (in programming)


view this post on Zulip Lessness (Aug 26 2022 at 21:08):

Thank you very much!

view this post on Zulip Lessness (Aug 26 2022 at 21:10):

Now I have proved the countability of Terms and Formulas. :tada:

view this post on Zulip Notification Bot (Aug 26 2022 at 21:10):

Lessness has marked this topic as resolved.


Last updated: Jan 31 2023 at 14:03 UTC