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
140
problems.
Stats
3.1k
EtPoint
911
Vote count
3
questions
140
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
Type inequality without cardinality arguments
Unknown Interpretation for "_/_" despite importing Arith
Coq: working with inequalities (<>)
How to define an inductive type mutually recursive with a function?
Equality for elements of sig type in Coq
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
Menu
