Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
Ptival
Ptival has asked
7
questions and find answers to
73
problems.
Stats
2.4k
EtPoint
852
Vote count
7
questions
73
answers
About
Works at Galois, Inc.
Thoughts and claims are my own!
Ptival questions
cabal-install and Debian
Statically "extend" a record-ish data type without indirection hassle
Ptival answers
How does 'elim' in Coq work on existential quantifier?
Best way to perform universal instantiation in Coq
How handling a list of polymorphic variants?
OCaml functors :: counter-intuitive behaviour
What does the simpl tactic do in COQ
Assume Negation for Proof by Contradiction
Proving if then else in Coq
What are inductive predicates?
How do inductive proposition work in Coq?
Euclidean division on naturals in coq
Menu
