Skip to content
View PatrickMassot's full-sized avatar
166 followers · 0 following
  • Paris

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@leanprover-community

Block or report PatrickMassot

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Type: All
Select type
All Container npm RubyGems Maven NuGet
Visibility: All
Select visibility
All Public Private
Sort by: Most downloads
Select sort view
Most downloads Least downloads
Clear current search query, filters, and sorts

0 packages

No results matched your search.

Try browsing all packages to find what you're looking for.