Discussions

• 2 You must be logged in to vote

  💡

  VS Plugin for Semantic Live Parsing and Editing

  TaviTruman asked Oct 19, 2022 in Ideas · Unanswered

  

  

  8
• 1 You must be logged in to vote

  🙏

  ∀x∀y (x=y iff ∀z , (z∈x iff z∈y )): Axiom of Extensionality in set theory

  TaviTruman asked Mar 23, 2023 in Q&A · Unanswered

  

  

  2
• 2 You must be logged in to vote

  💡

  Useful to have an API to parse text files with rules and queries

  pvillads asked Aug 1, 2022 in Ideas · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  Guan in the combinatorics landscape

  d-vyd asked Feb 20, 2022 in General · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Questions and comments about the getting started document and example

  d-vyd asked Jan 23, 2022 in Q&A · Answered

  

  

  6
• 2 You must be logged in to vote

  #️⃣

  Welcome to Guan Discussions!

  GitTorre asked Oct 27, 2021 in General · Unanswered

  

  

  0