Discussions

• 1 You must be logged in to vote

  💬

  Using symbolica with automated theorem provers

  nkrusch started Feb 1, 2026 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Rationale for AtomCore trait

  grothesque started Jan 12, 2026 in General

  

  

  2
• 2 You must be logged in to vote

  📣

  Symbolica 0.1.0

  benruijl announced Sep 7, 2023 in Announcements

  

  

  0