FStarLang FStar Q A · Discussions · GitHub

Welcome to F* Discussions!
Announcements nikswamy

Sort by: Latest activity

Q&A Discussions

Ask the community for help

You must be logged in to vote

Where to propose corrections to the FStar book?

mat888 asked Feb 12, 2025 in Q&A · Unanswered

1
You must be logged in to vote

Question about Parameter Syntax and Function Types

Arthri asked Feb 3, 2025 in Q&A · Answered

2
You must be logged in to vote

Noob - Help me understand assert

callendorph asked Jan 2, 2025 in Q&A · Answered

2
You must be logged in to vote

Cannot make st s a = s -> s & a as an instance of functor.

katsujukou asked Apr 24, 2024 in Q&A · Answered

2
You must be logged in to vote

The book and the tutorial

katsujukou asked Apr 4, 2024 in Q&A · Answered

4
You must be logged in to vote

DM4Free Effect: "(Error 172) Tm_refine is outside of the definition language"

azike asked Mar 24, 2024 in Q&A · Unanswered

2
You must be logged in to vote

Normalizing script evaluation with knowledge from the environment

azike asked Feb 19, 2024 in Q&A · Unanswered

2
You must be logged in to vote

Sequences vs. Lists in F*: when to use each

klinvill asked Jan 17, 2024 in Q&A · Answered

2
You must be logged in to vote

Difference between type and let?

chandradeepdey asked Dec 25, 2023 in Q&A · Closed · Answered

3
You must be logged in to vote

Question about ulib files and naming conventions

chandradeepdey asked Oct 31, 2023 in Q&A · Answered

2
You must be logged in to vote

Best practices when defining a new effect to benefit from SMT automation

andricicezar asked Aug 24, 2023 in Q&A · Unanswered

1
You must be logged in to vote

Questions about closures and exceptions

dariusf asked Oct 5, 2023 in Q&A · Unanswered

2
You must be logged in to vote

how to access command-line input arguments?

alex4482 asked Jun 13, 2023 in Q&A · Unanswered

1
You must be logged in to vote

mark lines for removal ??

alex4482 asked Jun 12, 2023 in Q&A · Answered

6
You must be logged in to vote

Dependent pattern matching syntax in F*

yiyuan-cao asked May 21, 2023 in Q&A · Answered

1
You must be logged in to vote

Idiomatic install and package management?

hyperswine asked Dec 16, 2022 in Q&A · Unanswered

2
You must be logged in to vote

Proving binary_search meets a very general proposition

briangmilnes asked May 11, 2023 in Q&A · Unanswered

1
You must be logged in to vote

Order of proof evaluation in a lemma

briangmilnes asked May 6, 2023 in Q&A · Closed · Unanswered

2
You must be logged in to vote

1/-1 %// 2 cases not validating or computing

briangmilnes asked May 5, 2023 in Q&A · Answered

2
You must be logged in to vote

Proof context dependence

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

2
You must be logged in to vote

Beginner question about lambdas

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

2
You must be logged in to vote

Proofs of Complexity

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

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
You must be logged in to vote

Fully normalising recursive functions applied to literals

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

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