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
71
problems.
Stats
2.4k
EtPoint
844
Vote count
7
questions
71
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 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
How to end this Proof in Coq
Locating definition of a tactic in Coq proofs
Menu
