Isabelle Newbie

Isabelle Newbie has asked 8 questions and find answers to 46 problems.

Stats

About

Interested in software verification and theorem proving. The more automation the better.

Isabelle Newbie questions

How to use Why3 proofs in Frama-C GUI?
How to embed metadata in object file from GCC plugin
Using dependent types in Coq (safe nth function)
Coq's mathematical proof language: Rewriting in if condition
Optimized CLP(FD) solver for number board puzzle
Read text stream codepoint by codepoint

Isabelle Newbie answers

Prolog to Datalog code conversion that uses lists
Generate all expressions from list of numbers equal to a number [PROLOG]
How to use Why3 proofs in Frama-C GUI?
Finding all nodes connected to a vertex in Prolog
Is there a way I can call non-terminal symbols recursively when working with a DCG in Prolog?
How to embed metadata in object file from GCC plugin
Extract Facts as Matrix in Prolog
Variable bin packing problem with Prolog (CLP)
Prolog implementation of Quine's algorithm for classical propositional logic (in Quine's "Methods of Logic")
Unexpected result for predicate nb_setarg/3