System FR: Formalized Foundations for Stainless - View it on GitHub
Star
9
Rank
1372666