Skip to content
View daviddoret's full-sized avatar
4 followers · 4 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report daviddoret

Report abuse

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

Report abuse

Pinned Loading

  1. punctilious punctilious Public

    A human-friendly and developer-friendly math proof assistant

    Python 2