davidg

Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

davidg has asked 13 questions and find answers to 54 problems.

Stats

About

davidg questions

How do I remove duplicate subgoals in Isabelle?
How do I display brackets around assumptions in Isabelle/jEdit?
Defining overloaded constants in Isabelle
How can I easily write simple tactics at the ML level of Isabelle?
Why won't Isabelle simplify the body of my "if _ then _ else" construct?
Mercurial Subrepositories: Prevent accidental recursive commits and pushes
What is the git equivalent of Mercurial revsets?
Copying a symbolic link in Python

davidg answers

loading a precompiled heap image in Isabelle
How do I remove duplicate subgoals in Isabelle?
How to prove while/for in Isabelle/HOL
How to fix up this problem with screen bash command?
How to find out how long it takes the linux kernel to respond to IRQs? [duplicate]
How to revert bcache device to regular device
How can I use rules suggested by solve_direct? (by (rule …) doesn't always work)
Are there any kernel tools available to measure interrupt latency with reasonable accuracy?
How do I display brackets around assumptions in Isabelle/jEdit?
C Unix Pipes Example