HKalbasi
HKalbasi
No comments?
Netlify allows to set coop and coep headers and is free and as easy to use as gh-pages. Would you care to host this on netlify in addtion to gh-pages?
What is the state of this issue? It would easily solved by html attribute `dir="auto"` or something like that.
Thank you for your response. But I could not figure out how to add a code to coqWorker instance. Do you have some simple example for driver code? From what...
I tried some more but with no success. I found https://github.com/ejgallego/coq-serapi that seems close to what I want. I decided to work with the Ocaml version first and then return...
Our project is fairly simple: every common tactic is like a tool that user can pick it and then drag a hypothesis or lemma on goal or another hypothesis and...
That snippet is great and works like a charm. Thank you @corwin-of-amber ! We are working in porting it, and also in internationalizing it because currently it is in Farsi....
A huge part of this proposal is about parsing JS on demand and not at the start, Which that proposal has nothing to do with. But I think it can...
Useful for https://gitlab.com/famedly/conduit/-/issues/93
Is an specific stream-able type too restrictive? It should be generic?