Stream: Is there code for X?

Topic: introduction


view this post on Zulip Dean Young (Feb 23 2023 at 03:33):

Hi, All,
I'm Dean. I'm new here and excited to learn more about Isabelle.
Can someone point me towards documentation for varieties?
Also, can someone point me towards wherever the Whitehead theorem is proven in Coq?


Last updated: Mar 29 2024 at 04:18 UTC