coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
45Updated this week

Related projects

Alternatives and complementary repositories for fav-ssr