Discussions

• 1 You must be logged in to vote

  💬

  Any documentation on exception?

  briangmilnes started May 1, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  🙌

  FStarUnit - a simple unit tester

  briangmilnes started May 1, 2023 in Show and tell

  

  

  4
• 1 You must be logged in to vote

  🙏

  Proof context dependence

  briangmilnes asked Apr 29, 2023 in Q&A · Closed · Unanswered

  

  

  2
• 1 You must be logged in to vote

  💡

  lines of code/lines of proof

  briangmilnes started Apr 29, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  📣

  Steel to migrate to its own repository: FStarLang/steel

  Steel Issues related to a Concurrent Resource Typing

  tahina-pro announced Apr 25, 2023 in Announcements · Closed

  

  

  0
• 1 You must be logged in to vote

  🙏

  Beginner question about lambdas

  chandradeepdey asked Apr 8, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Proofs of Complexity

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

  

  

  1
• 1 You must be logged in to vote

  🙏

  Can't get karamel nix flake to work

  ambiso asked Mar 21, 2023 in Q&A · Closed · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Fully normalising recursive functions applied to literals

  amosr asked Mar 14, 2023 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💡

  Make pre-condition available as hypothesis when rewriting inside a function

  andricicezar started Mar 10, 2023 in Ideas

  

  

  0
• 2 You must be logged in to vote

  📣

  F* built with dune : new library layout

  tahina-pro announced Feb 14, 2023 in Announcements · Closed

  

  

  1
• 1 You must be logged in to vote

  🙏

  Typing error when mixing dependent types and implicit types

  klinvill asked Dec 7, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💬

  [RESOLVED] How to use sub to create a live sub buffer - Assertion failure - understood the usage

  sheeraSearch82 started Dec 4, 2022 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  What tactic is needed to rewrite a sub-expression in the goal state?

  klinvill asked Nov 9, 2022 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Best practice simple task

  alex4482 asked Oct 28, 2022 in Q&A · Answered

  

  

  

  

  4
• 2 You must be logged in to vote

  💡

  Computation holes for Meta-F*?

  nikswamy started Oct 14, 2022 in Ideas

  

  

  

  

  3
• 1 You must be logged in to vote

  💬

  Hardening SunRPC XDR encoding and decoding

  chucklever started Sep 20, 2022 in General

  

  

  5
• 1 You must be logged in to vote

  🙏

  Dependent type inference for branches

  gancherj asked Sep 19, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Trying to understand detail about Lemmas from tutorial

  alex4482 asked Sep 2, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  # Non-local state for metaprograms

  nikswamy started Aug 20, 2022 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  🙏

  Inlining extraction of Steel.ST code with while_loop to krml blows up

  component/extraction kind/crash Steel Issues related to a Concurrent Resource Typing

  tahina-pro asked Aug 1, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Another error with make -C ulib/ml

  Daniel-Cumming asked Jun 29, 2022 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  Error when running "make -C ulib/ml"

  Daniel-Cumming asked Jun 22, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Can I use lemmas for constraining types for initial functions?

  WhiteBlackGoose asked Jun 11, 2022 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Cannot prove merge sort with tree recursion

  WhiteBlackGoose asked Jun 11, 2022 in Q&A · Answered

  

  

  2