<html>
 <head>
  <meta name="viewport" content="width=device-width, initial-scale=1.0">
 </head>
 <body>
  <span dir="ltr" style="margin-top:0; margin-bottom:0;">27 Sept 2026 22:39:51 Hendrik Boom &lt;hendrik@topoi.pooq.com&gt;:</span>
  <br>
  <br>
  <span dir="ltr" style="margin-top:0; margin-bottom:0;">&gt; This note deters me from doing any of this, locking me out of</span>
  <br>
  <span dir="ltr" style="margin-top:0; margin-bottom:0;">&gt; current mathematical research.</span>
  <br>
  <br>
  <span dir="ltr" style="margin-top:0; margin-bottom:0;">I wonder if this can be done with Ada SPARK?</span>
  <br>
 </body>
</html>