fstar-club
Thread
Date
Messages by Thread
[fstar-club] [Help] Inductive predicates
Pedro Barroso via fstar-club
Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates
Aseem Rastogi via fstar-club
Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates
Pedro Barroso via fstar-club
Re: [fstar-club] [EXTERNAL] [Help] Inductive predicates
Aseem Rastogi via fstar-club
[fstar-club] Second and Final Call for Presentations: PriSC 2022 @ POPL 2022
Jonathan Protzenko via fstar-club
[fstar-club] Call for Presentations: PriSC 2022 @ POPL 2022
Jonathan Protzenko via fstar-club
[fstar-club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Andrei Popescu via fstar-club
[fstar-club] Call for Contributions: WITS 2022
Jesper Cockx via fstar-club
[fstar-club] Certified Programs and Proofs (CPP) 2022: Final Call for Papers
Andrei Popescu via fstar-club
[fstar-club] Certified Programs and Proofs (CPP) 2022: Call for Papers
Andrei Popescu via fstar-club
[fstar-club] Slack forum open to all
Nikhil Swamy via fstar-club
[fstar-club] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021
Andrei Popescu via fstar-club
[fstar-club] fibonacci_greater_than_arg solution
Michael Delorimier via fstar-club
Re: [fstar-club] fibonacci_greater_than_arg solution
Nikhil Swamy via fstar-club
[fstar-club] CPP 2021: Call for Participation and Lightning Talks
Andrei Popescu via fstar-club
[fstar-club] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020
Andrei Popescu via fstar-club
[fstar-club] Execute F* using ocaml/opam package
Marius Melzer via fstar-club
Re: [fstar-club] Execute F* using ocaml/opam package
Nikhil Swamy via fstar-club
[fstar-club] Formal methods engineer positions at Siemens Mobility, Paris, France (full-time)
Danko Ilik via fstar-club
[fstar-club] Certified Programs and Proofs (CPP) 2021: Final Call for Papers
Andrei Popescu via fstar-club
[fstar-club] Fwd: Quicksort in the tutorial
Catalin Hritcu via fstar-club
[fstar-club] Dilithium in F*
Zan Xu via fstar-club
Re: [fstar-club] Dilithium in F*
Karthikeyan Bhargavan via fstar-club
[fstar-club] PhD offer: Verified programming and secure integration of operating system libraries in F*, Inria Rennes, France
Jean-Pierre Talpin via fstar-club
[fstar-club] FMBC 2020: 2nd Workshop on Formal Methods for Blockchains (CfP, Deadline Extension)
Bruno Bernardo via fstar-club
[fstar-club] Certified Programs and Proofs (CPP) 2021: First Call for Papers
Andrei Popescu via fstar-club
[fstar-club] PhD offer on policy-dependent sandboxing with Inria Challenge RIOT-fp at IRISA, Rennes
Jean-Pierre Talpin via fstar-club
[fstar-club] Call for participation for CPP 2020
Catalin Hritcu via fstar-club
[fstar-club] Open CfP: TYPES 2019 post-proceedings
Assia Mahboubi via fstar-club
[fstar-club] Asserts using strings
P Arun Babu via fstar-club
Re: [fstar-club] Asserts using strings
Guido Martínez via fstar-club
[fstar-club] PhD and Postdoc positions in Aarhus (DK)
Bas Spitters via fstar-club
[fstar-club] CFP for Certified Programs and Proofs (CPP 2020)
Catalin Hritcu via fstar-club
[fstar-club] bug report (wrong cast from I32)
paul zimmermann via fstar-club
Re: [fstar-club] bug report (wrong cast from I32)
Jonathan Protzenko via fstar-club
Re: [fstar-club] bug report (wrong cast from I32)
paul zimmermann via fstar-club
Re: [fstar-club] bug report (wrong cast from I32)
Catalin Hritcu via fstar-club
Re: [fstar-club] bug report (wrong cast from I32)
paul zimmermann via fstar-club
[fstar-club] INSTALL.md
paul zimmermann via fstar-club
Re: [fstar-club] INSTALL.md
Catalin Hritcu via fstar-club
[fstar-club] Fwd: VTSA'19 Luxembourg: call for applications
Catalin Hritcu via fstar-club
[fstar-club] Floating point support in F*
Richard Ford via fstar-club
[fstar-club] FStar school
Marc Gourjon via fstar-club
Re: [fstar-club] FStar school
Catalin Hritcu via fstar-club
Re: [fstar-club] FStar school
Nikhil Swamy via fstar-club
Re: [fstar-club] FStar school
Jonathan Protzenko via fstar-club
[fstar-club] 1st CFP for Certified Programs and Proofs (CPP 2020)
Catalin Hritcu via fstar-club
[fstar-club] PhD vacancy in Formally verified crypto at Aarhus
Bas Spitters via fstar-club
[fstar-club] Chatting about F* on Zulip
Catalin Hritcu via fstar-club
[fstar-club] Noob questions
Christian Nyumbayire via fstar-club
Re: [fstar-club] Noob questions
Nikhil Swamy via fstar-club
Re: [fstar-club] Noob questions
Christian Nyumbayire via fstar-club
Re: [fstar-club] Noob questions
Jonathan Protzenko via fstar-club
Re: [fstar-club] Noob questions
Christian Nyumbayire via fstar-club
[fstar-club] OCaml -> F*
Joel Jacobson via fstar-club
Re: [fstar-club] OCaml -> F*
Alexander Tchitchigin via fstar-club
Re: [fstar-club] OCaml -> F*
Joel Jacobson via fstar-club
Re: [fstar-club] OCaml -> F*
Alexander Tchitchigin via fstar-club
[fstar-club] PostDoc positions at Inria Paris on F* and on Formally Secure Compilation
Catalin Hritcu via fstar-club
[fstar-club] 8,9 Oct: EUTypes meeting in Aarhus
Bas Spitters via fstar-club
[fstar-club] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming
Bas Spitters via fstar-club
[fstar-club] Consistency of F-star ?
Bas Spitters via fstar-club
Re: [fstar-club] Consistency of F-star ?
Nikhil Swamy via fstar-club
Re: [fstar-club] Consistency of F-star ?
Bas Spitters via fstar-club
[fstar-club] F* v0.9.6.0 released
Catalin Hritcu via fstar-club
[fstar-club] Trying to use List.Tot.map with Kremlin
Pierre Beaucamp via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Jonathan Protzenko via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Pierre Beaucamp via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Jonathan Protzenko via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Jonathan Protzenko via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Jonathan Protzenko via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Pierre Beaucamp via fstar-club
Re: [fstar-club] Trying to use List.Tot.map with Kremlin
Jonathan Protzenko via fstar-club
[fstar-club] Bounds of What the SMT Solver Can Infer
Nitin John Raj via fstar-club
Re: [fstar-club] Bounds of What the SMT Solver Can Infer
Nick Giannarakis via fstar-club
[fstar-club] Summer schools on F*/Low* coming up in May
Catalin Hritcu via fstar-club
[fstar-club] Fwd: [fmics] Two PhD offers at Inria, Rennes, on refinement types for system design
Catalin Hritcu via fstar-club
[fstar-club] Refinement types
Will White via fstar-club
Re: [fstar-club] Refinement types
Alexander Tchitchigin via fstar-club
Re: [fstar-club] Refinement types
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Refinement types
Alexander Tchitchigin via fstar-club
[fstar-club] VerifyThis 2018: Call for Participation and Travel Grants
Andrei Paskevich via fstar-club
[fstar-club] VerifyThis 2018: Call for Problems and First Announcement
Andrei Paskevich via fstar-club
[fstar-club] F* Reading List
Nitin John Raj via fstar-club
[fstar-club] "Load in editor" links in F* tutorial
Marianna Rapoport via fstar-club
[fstar-club] Integer literal suffixes
Adam Langley via fstar-club
Re: [fstar-club] Integer literal suffixes
Santiago Zanella via fstar-club
[fstar-club] A few random questions
Julien Cretin via fstar-club
Re: [fstar-club] A few random questions
Catalin Hritcu via fstar-club
Re: [fstar-club] A few random questions
Catalin Hritcu via fstar-club
Re: [fstar-club] A few random questions
Clément Pit-Claudel via fstar-club
[fstar-club] F* v0.9.5.0 released!
Catalin Hritcu via fstar-club
[fstar-club] The online tutorial just broke
Markulf Kohlweiss via fstar-club
Re: [fstar-club] The online tutorial just broke
Antoine Delignat-Lavaud via fstar-club
[fstar-club] Inferred types
Thomas Burdick via fstar-club
Re: [fstar-club] Inferred types
Clément Pit-Claudel via fstar-club
[fstar-club] Tricks for establishing properties of machine integers
Adam Langley via fstar-club
Re: [fstar-club] Tricks for establishing properties of machine integers
Jean Karim Zinzindohoué via fstar-club
Re: [fstar-club] Tricks for establishing properties of machine integers
Adam Langley via fstar-club
Re: [fstar-club] Tricks for establishing properties of machine integers
Adam Langley via fstar-club
Re: [fstar-club] Tricks for establishing properties of machine integers
Antoine Delignat-Lavaud via fstar-club
[fstar-club] Status of `(***` comments
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Status of `(***` comments
Santiago Zanella via fstar-club
Re: [fstar-club] Status of `(***` comments
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Status of `(***` comments
Santiago Zanella via fstar-club
[fstar-club] Type mismatch after OCaml extraction
Frieder Steinmetz via fstar-club
Re: [fstar-club] Type mismatch after OCaml extraction
Antoine Delignat-Lavaud via fstar-club
[fstar-club] Proving that a function is equal to its definition
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Proving that a function is equal to its definition
Catalin Hritcu via fstar-club
Re: [fstar-club] Proving that a function is equal to its definition
Catalin Hritcu via fstar-club
Re: [fstar-club] Proving that a function is equal to its definition
Clément Pit-Claudel via fstar-club
Re: [fstar-club] Proving that a function is equal to its definition
Catalin Hritcu via fstar-club
[fstar-club] Dependent record field types
Jannis via fstar-club
Re: [fstar-club] Dependent record field types
Santiago Zanella via fstar-club
Re: [fstar-club] Dependent record field types
Jannis via fstar-club
[fstar-club] PhD positions on refinement types at Inria Rennes
Catalin Hritcu via fstar-club
Re: [fstar-club] PhD positions on refinement types at Inria Rennes
Catalin Hritcu via fstar-club
[fstar-club] kremlin question: define struct
zhiting zhu via fstar-club
Re: [fstar-club] kremlin question: define struct
Jonathan Protzenko via fstar-club
Re: [fstar-club] kremlin question: define struct
zhiting zhu via fstar-club
[fstar-club] KreMLin question about allocation on the heap
zhiting zhu via fstar-club
Re: [fstar-club] KreMLin question about allocation on the heap
Jonathan Protzenko via fstar-club
[fstar-club] KreMLin question about allocation on the heap
zhiting zhu via fstar-club
Re: [fstar-club] Proofs on arbitrarily branching trees
Santiago Zanella via fstar-club