Home

As FIAT is a fairly young and massive project, volunteers are welcome! If you would like to volunteer, please familiarize yourself with the Style Guidelines and the approach to Unit Testing. Make a fork of FIAT and then join in the discussion to see what needs to be done. Once you complete your task (including ensuring that all unit tests have been passed) and pushed to your personal copy of the repository on GitHub (preferably having cleaned up your commits), please submit a pull request and your code will be folded into the FIAT mainline.