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
132
problems.
Stats
3.0k
EtPoint
883
Vote count
3
questions
132
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
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
How does decidable equality works with List.remove?
Coq: viewing proof term during proof script writing
How to introduce a new variable in Coq?
Menu
