Log in Sign up

Log in to Zulip

FStar
https://fstar.zulipchat.com

F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, or C code. For more information check out: https://www.fstar-lang.org and https://github.com/FStarLang/FStar

OR
OR
Forgot your password? Sign up

Product

  • Why Zulip
  • Features
  • Plans & pricing
  • Self-hosting
  • Security
  • Integrations
  • Desktop & mobile apps
  • New organization
  • Log in
  • Find accounts

Solutions

  • Business
  • Education
  • Research
  • Events & conferences
  • Open source projects
  • Communities
  • Customer stories
  • Open communities

Resources

  • Getting started
  • Help center
  • Community chat
  • Contact support
  • Get a demo
  • Zulip Cloud status
  • Moving to Zulip
  • Installing a Zulip server
  • Upgrading a Zulip server

Contributing

  • Contributing guide
  • Development community
  • Translation
  • API
  • GitHub

About us

  • Team & History
  • Values
  • Jobs
  • Blog
  • Support Zulip
© Kandra Labs, Inc. (“Zulip”)
Terms of Service Privacy policy Website attributions