Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Ana Borges
Ana Borges has asked
2
questions and find answers to
4
problems.
Stats
70
EtPoint
12
Vote count
2
questions
4
answers
About
Ana Borges questions
Use results proven in a library (Coq)
Ana Borges answers
Coq - Assign expression to variable
Is it possible to remove/override an existing coercion?
How to express that one element of an inductive relation can't be derived from another in Coq?
Difference between parameters and members of a class
Menu
