diff --git a/README.md b/README.md
index 19679f9..2600cce 100644
--- a/README.md
+++ b/README.md
@@ -207,7 +207,13 @@ optimised batch inversion was contributed by Sean Bowe and Daira Hopwood.
 
 The `no_std` and `zeroize` support was contributed by Tony Arcieri.
 
-Thanks also to Ashley Hauck, Lucas Salibian, and Manish Goregaokar for their
+The formally verified backends, `fiat_u32_backend` and `fiat_u64_backend`, which
+integrate with the Rust generated by the
+[Fiat Crypto project](https://github.com/mit-plv/fiat-crypto) were contributed
+by François Garillot.
+
+Thanks also to Ashley Hauck, Lucas Salibian, Manish Goregaokar, Jack Grigg,
+Pratyush Mishra, Michael Rosenberg, and countless others for their
 contributions.
 
 [ed25519-dalek]: https://github.com/dalek-cryptography/ed25519-dalek