Remove excessive and negative information about jsCoq.

coq · Oct 4, 2023 · e29f18b · e29f18b
1 parent 6cab5ed
commit e29f18b
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/pages/user-interfaces.html b/pages/user-interfaces.html
@@ -66,10 +66,7 @@
 <p>
 As a way to try Coq without installing anything, you can
 use <a href="https://jscoq.github.io/">JsCoq</a>.  JsCoq loads Coq
-entirely in your browser.  However, it is too limited to conduct
-actual projects: it lacks access to the VM and native computing
-machineries of Coq, and may hit out-of-memory and stack-overflow
-failures quicker than native versions of Coq.
+entirely in your browser.
 </p>
 
 </div>