COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzes (anthroplogic.sharepoint.com) 1 points by coq365 5y ago ↗ HN
[–] coq365 5y ago ↗ [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...
1 comment
[ 2.8 ms ] story [ 16.3 ms ] threadTL;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...