[isabelle-dev] proposal for new numeral representation
florian.haftmann at informatik.tu-muenchen.de
Fri Nov 25 20:41:04 CET 2011
> I have been working on a new numeral representation for Isabelle
> recently, and I would like to share it with everyone. An overview of
> the design is now available on the Isanotes wiki ; a patched
> version of the Isabelle hg repo is also available .
> I would welcome any suggestions, criticism, or other feedback.
you know my opinion already :-)
I will tackle the code generation issues as soon as »my« current fork
Then we can »roar ahead« again…
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev