A Formally Verified Unicode 17.0 Text Processing Library in SPARK/Ada with C bindings. A complete implementation of the Unicode 17.0 text processing stack, written in SPARK/Ada (Ada 2022) and formally verified with GNATprove.
- versions-old
lingenic-text-1.1.0 … - lingenic-text-1.2.0 ⤓.tar.xz 000000003461984
**Version 1.