>
> May you provide a step-by-step reproducer starting from emacs -Q?
>
> Best,
>
> Ihor
Thanks Ihor,
It is neither an emacs nor an org-mode issue, but it concerns the way of
calling a php scritpt from an html file, and it is not easy, at least for me.
I admit that my email is therefore irrel
Joseph Vidal-Rosset writes:
> Unfortunately, all my efforts to integrate this code to export failed,
> and finally I get a JSON.parse error, (
> json-parse-unexpected-character-at-line-1-column-1-of-the-json-data )
> that I suspect to be a PHP error code.
>
> Your help is welcome.
May you provid
Hello,
Here is my problem. The code below, that is the code of the page called
"index.php" works.
< https://www.vidal-rosset.net/fCube/ >
But I would be happy to have this prover in this web page
<
https://www.vidal-rosset.net/fcube_an_efficient_prover_for_intuitionistic_propositional_logic.htm
