Giters
DM3D (daviddoret)

daviddoret

Geek Repo

4

followers

4

following

90

stars

Location:Geneva

Home Page:https://ch.linkedin.com/in/daviddoret/

Github PK Tool:Github PK Tool

DM3D's repositories

punctilious

A human-friendly and developer-friendly math proof assistant

Language:PythonLicense:MITStargazers:2Issues:2Issues:181