Discussions

• 1 You must be logged in to vote

  🙏

  How to avoid the interchangeability of Iff(a,b) and And(Imp(a, b), Imp(b, a))

  spamegg1 asked Mar 21, 2026 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  .toUntypedString as default

  spamegg1 asked Dec 12, 2025 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Replace all free occurrences of a variable with a constant

  spamegg1 asked Sep 3, 2025 in Q&A · Closed · Answered

  

  

  3
• 1 You must be logged in to vote

  📣

  gapt discussions are open!

  fachammer announced Sep 3, 2025 in Announcements · Closed

  

  

  0