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
77
problems.
Stats
2.5k
EtPoint
872
Vote count
7
questions
77
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
Scrapy Newbie Question - can't get tutorial file working
Parsing function application with Happy
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
Menu
