1 result found Sort:

Functional Algorithms Verified in SSReflect [maintainer=@clayrat]
Created 2021-10-29
96 commits to trunk branch, last one about a month ago