Xaver Fabian

Create an object of type class and then create a figure. You can choose between line bar and scatter graph. You feed the coordinates into these functions and receive back...

Hey there, In the legacy version of VSCoq, after pressing `CTRL+SHIT+P` in VsCode to open the Command Palette I could use the following commands: Coq: Display Coercions Coq: Display Notations...