1,974,623 research outputs found
dominique-unruh/qrhl-tool: Version 0.7.2
No full textInstallation instructions
<p>See <a href="https://dominique-unruh.github.io/qrhl-tool/install.html">https://dominique-unruh.github.io/qrhl-tool/install.html</a></p>
Changes
<ul>
<li>Support for Isabelle2023</li>
<li>Tactics <code>squash</code> and <code>inline</code> work on denotational-equivalence subgoals</li>
<li>Tactic <code>squash</code> supports a quantum initialization and application of unitary (in addition to assignment and sampling)</li>
<li>Various bugfixes</li>
</ul>
dominique-unruh/qrhl-tool: Version 0.7
No full textInstallation instructions
<p>See <a href="https://dominique-unruh.github.io/qrhl-tool/install.html">https://dominique-unruh.github.io/qrhl-tool/install.html</a></p>
Changes
<ul>
<li>Caching computations (redoing already done proof steps is fast)</li>
<li>Auto-reloading changed included and .thy files</li>
<li>Support for Isabelle 2021-1</li>
<li>Focusing commands <code>{</code> <code>}</code> <code>+</code> etc.</li>
<li>Syntax highlighting in ProofGeneral</li>
<li>New command <code>isabelle_cmd</code> for arbitrary Isabelle toplevel commands</li>
<li><code>equal</code> tactic now gives very detailed explanation of its reasoning (for understanding failures)</li>
<li>Config file <code>.qrhl-tool.conf</code> also found in home directory</li>
<li><code>isabelle</code> command allows to configure Isabelle session</li>
<li>Isabelle session configured in current directory detected (<code>ROOT</code>/<code>ROOTS</code> file)</li>
<li>Many bugfiles</li>
<li>Improved background theory in Isabelle (more proofs, session <code>Bounded_Operators</code> fully proven)</li>
</ul>
Dominique Marchot
No full textMarchot Dominique. Dominique Marchot. In: Bulletin de la Société française du Rorschach et des méthodes projectives, n°38, 1994. pp. 18-19
Dominique Lecourt
No full textLecourt Dominique. Dominique Lecourt. In: Raison présente, n°89, 1er trimestre 1989. Question a la philosophie. pp. 53-54
dominique-unruh/qrhl-tool: Version 0.7.1
No full textInstallation instructions
<p>See <a href="https://dominique-unruh.github.io/qrhl-tool/install.html">https://dominique-unruh.github.io/qrhl-tool/install.html</a></p>
Changes
<ul>
<li>Supporting MS Windows (in addition to Linux & MacOS).</li>
<li>Support for Isabelle2022.</li>
<li>New tactic <code>sp</code> (strongest postcondition).</li>
<li>Strongly extended <code>swap</code> tactic: Can now swap program fragments with common variables and rewrite fragments during swap.
Note: invocation syntax has changed.</li>
<li>New tactic <code>rewrite</code>: Substitute lines in program by other denotationally equivalent lines.</li>
<li>New type of subgoal: denotational equivalence. (Supported by tactics <code>byqrhl</code>, <code>inline</code>, <code>rewrite</code> so far.)</li>
<li><code>proofgeneral.sh</code> / <code>proofgeneral.ps1</code> scripts: Do not ignore <code>.emacs</code> file with user configuration
(add <code>-q</code> to ignore it in case of trouble).</li>
<li><code>print goal</code> command for showing current goal in a way suitable for copy & paste to Isabelle theory.</li>
<li>Proof goal shows line numbers.</li>
<li>Isabelle startup script <code>run-isabelle.sh</code> renamed to <code>isabelle.sh</code> / <code>isabelle.ps1</code>.</li>
<li>Various bugfixes.</li>
</ul>
Lettre de Dominique Delise
No full textDelise Dominique. Lettre de Dominique Delise. In: Sorcières : les femmes vivent, n°5, 1976. Odeurs. p. 63
Lettre de Dominique Pensée
No full textPensée Dominique. Lettre de Dominique Pensée. In: Sorcières : les femmes vivent, n°11, 1978. Espaces et lieux. p. 63
Lettre de Dominique Dubois
No full textDubois Dominique. Lettre de Dominique Dubois. In: Sorcières : les femmes vivent, n°13, 1978. Poupées. p. 63
Dominique Valade, sculpteur et peintre
No full textRolland's brief text focuses on Valade's activity as a painter and sculptor. Biographical notes
Réponse de Dominique Finon
No full textFinon D. Réponse de Dominique Finon. In: Revue d'économie industrielle, vol. 4, 2e trimestre 1978. pp. 148-151
- …
