FAPI2SP should reference formal analysis
Issue #696
new
The FAPI2SP currently has a link to the FAPI1 formal analysis. I’m not sure if this is still needed.
It probably should have a reference to the FAPI2 formal analysis: https://openid.net/fapi-2-0-announcement/