Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Arthur Azevedo De Amorim
Arthur Azevedo De Amorim has asked
3
questions and find answers to
135
problems.
Stats
3.0k
EtPoint
896
Vote count
3
questions
135
answers
About
http://arthuraa.net
Arthur Azevedo De Amorim questions
Matplotlib figure not showing up in output widget in first cell of Jupyter notebook
How to display matplotlib plots in a Jupyter tab widget?
Arthur Azevedo De Amorim answers
Coq: trying to use dependent induction
COQ identity term which is not eq_refl
How can I split a list in half in coq?
a function that get the minimum of a set in coq
Show that a monic (injective) and epic (surjective) function has an inverse in Coq
coq induction with passing in equality
Reason for equality definition in COQ and HOTT
How to do "negative" match in Ltac?
Using dependent types in Coq (safe nth function)
Problems with dependent types in Coq proof assistant
Menu
