Discussions

• 1 You must be logged in to vote

  💬

  Unintuitive precondition for absence of overflow

  jschneider-bensch started Jun 11, 2025 in General · Closed

  

  

  2
• 1 You must be logged in to vote

  💬

  F* options on impl blocks

  jschneider-bensch started Sep 22, 2025 in General · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Proving loop termination with an addition

  ROMemories asked Mar 28, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Expressing invariant of a an array used to index into another array

  ROMemories asked Sep 20, 2024 in Q&A · Answered

  

  

  2