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
146
problems.
Stats
3.2k
EtPoint
926
Vote count
3
questions
146
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
Weird proof obligations resulting from a push/pop evaluator in Coq
How to prove the same subgoals
Equality on type which is not inductive type
In Coq, how do I introduce a variable from an hypothesis into the environment?
Pattern matching using information from theorems
Derive a ssreflect finType from a seq over a finType with uniq
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?
Menu
