COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzes
anthroplogic.sharepoint.com
COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzes
1–2 of 2 posts
Re: COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzes
#2[Demo Link](https://anthroplogic.sharepoint.com/:x:/s/cycle1/EU_2myovbgt...)
TL;DR: eLearning & eCommerce => Coq in Excel not Emacs ([How-To-Resell-My-School-For-Work.Online](https://How-To-Resell-My-School-For-Work.Online))
Correct? Complete? Questions?
P.S. This WorkSchool 365 method is applicable to any Programming Language which compiles to JavaScript...