COQ365: Coq math proof assistant's Excel web add-in for paid auto-graded quizzesanthroplogic.sharepoint.com1 points·by coq365·قبل 6 سنوات·0 comments
coq365·قبل 6 سنوات·discussJust today. I posted a link. The trend these days everywhere else is to bark "SPAM!" ...
coq365·قبل 6 سنوات·discuss[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...