coq-community / fav-ssr

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
45Updated last month

Related projects

Alternatives and complementary repositories for fav-ssr