crabbo-rave / SoupLinks

Extra and extended datatypes for Lean 4
11Updated 2 years ago

Alternatives and similar repositories for Soup

Users that are interested in Soup are comparing it to the libraries listed below

Sorting: