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
75
problems.
Stats
2.4k
EtPoint
863
Vote count
7
questions
75
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 can i simplify this type?
Proof by cases using Coq
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?
Menu
