Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Théo Winterhalter
Théo Winterhalter has asked
7
questions and find answers to
27
problems.
Stats
487
EtPoint
109
Vote count
7
questions
27
answers
About
Postdoctoral researcher at Max Planck Institute for Security and Privacy (MPI-SP).
Théo Winterhalter questions
Multiple background transition CSS3
Redirect standard output OCaml
Scala equivalent of flags
Cocoa application menu bar not clickable
Uploading file with jQuery Ajax
Théo Winterhalter answers
How to import the file in other project/directory by configuring the Makefile or _Coqproject in current project
How do I simplify a hypothesis of the form True -> P in Coq?
Coq: type mismatch on dependent lists which could be solved by a proof
What is the workaround for OCaml: exception Invalid_argument("Random.int")?
Reversing an int in OCaml
Coq simpl / unfold only once. (Replace part of goal with the result of one iteration of a function.)
How to step through semicolons separated tactics sequence in coqide?
Why does the GitLab Graph only show commits and not Additions/Deletions?
Cocoa application menu bar not clickable
How to convert ASCII character to CGKeyCode?
Menu
