Trending open-source repository: leanprover-community/plausible
Lean Updated 16 days ago 1 commits 118 stars
prism-dev|Mirror: leanprover-community/plausible (⭐118)
16 days agoAbout
Trending open-source repository: leanprover-community/plausible
Readme
118 stars
31 forks