Julien Narboux
Julien Narboux
Dear Lance, Unfortunately up to my knowledge there is currently no English translation of Metamathematische Methoden in der Geometrie . But according to Michael Beeson: "Marvelously and miraculously, a former...
Ok I understand now. I just noticed that during a tutorial some users was thinking that the tactic was some kind of forbidden because of the red color. Maybe a...
You could also ask the browser to display a warning when refrehing: https://developer.mozilla.org/en-US/docs/Web/API/BeforeUnloadEvent
There is currently no way in GeoCoq to generate GeoGebra figures automatically. It would be interesting to implement something based on jscoq. It has already been done some years ago...
We gave a tutorial about GeoCoq at ADG, here are the slides: https://hal.science/hal-04230732/file/Tutorial_GeoCoq_ADG_2023%20%281%29.pdf It is not a complete tutorial, enough to learn Coq/GeoCoq alone, but it provides pointers to the...
I added Cecill C licence.