prosecco

Not logged in

  • Log in

Navigation

  • Main page
  • Recent changes
  • Random page
  • Help about MediaWiki

Tools

  • What links here
  • Related changes
  • Special pages
  • Printable version
  • Permanent link
  • Page information
  • Page history
  • Refresh page
(Redirected from F* Materials)

F* Materials - Joint School 2014

Namespaces

  • Page
  • Discussion

Views

  • View
  • View source
  • History

Actions

    From prosecco

    Contents

    • 1 Binary release
    • 2 Source distribution
    • 3 Tutorial text
    • 4 Files for day 2
    • 5 Slides

    Binary release

    • https://github.com/FStarLang/FStar/releases/tag/school14.1

    Source distribution

    • https://github.com/FStarLang/FStar (see INSTALL.md for instructions)

    Tutorial text

    • https://www.fstar-lang.org/tutorial

    Files for day 2

    • http://prosecco.gforge.inria.fr/day2.zip
    • http://prosecco.gforge.inria.fr/day2.tgz

    Slides

    • High-level introduction (Nikhil)
    • Advanced F* (Nikhil)
    • miTLS (Antoine)
    • Types for Modular Cryptography (Cedric)
    Retrieved from "https://wiki.inria.fr/wikis/prosecco/index.php?title=F*_Materials_-_Joint_School_2014&oldid=318"
    prosecco

    Navigation

    • Main page
    • Recent changes
    • Random page
    • Help about MediaWiki

    Tools

    • What links here
    • Related changes
    • Special pages
    • Printable version
    • Permanent link
    • Page information
    • Page history
    • Refresh page
    Powered by MediaWiki
    • This page was last edited on 18 January 2015, at 13:21.
    • Privacy policy
    • About prosecco
    • Disclaimers