cur
cur copied to clipboard
Published
20 hours ago •
wilbowma
wilbowma
A less devious proof assistant
Results
42
cur issues
Sort by
recently updated
recently updated
newest added
Typeclass constraints would really improve your typeclasses.
enhancement