Discussions

• 1 You must be logged in to vote

  💬

  PR #104

  NotBad4U started Nov 19, 2025 in General

  

  

  0
• 1 You must be logged in to vote

  💬

  Re-enable support for single-argument conjunctions and disjunctions in some form?

  blishko started Dec 15, 2023 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  Congruence Rejection From Simplification Premise Containing Negative Arguments

  mbaranr started Aug 23, 2023 in Ideas · Closed

  

  

  0
• 1 You must be logged in to vote

  💡

  Encode simplify rule with a term rewriting systems

  NotBad4U started May 22, 2023 in Ideas

  

  

  

  

  12
• 1 You must be logged in to vote

  📣

  Welcome to carcara Discussions!

  HanielB announced May 25, 2023 in Announcements

  

  

  0