People


Many people have contributed to F* over the years. The GitHub contributors page tracks all the contributors to the code.

The current core development team is:

Other active contributors currently include:

Many others have contributed to the core ideas behind F*, its implementation, and its uses, and continue to do so, including: