coq365

↗ HN profile [ 24.1 ms ] full profile

Karma: -1
Created: December 5, 2020 (5y ago)
Submissions: 0

COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzes (anthroplogic.sharepoint.com)

1 points 5y ago 1