All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download pretty JAR 0.36.0 with all dependencies


    The Aya proof assistant

    Files of the artifact pretty version 0.36.0 from the group org.aya-prover.

    Test

    Artifact pretty
    Group org.aya-prover
    Version 0.36.0
    Last update 18. December 2024
    Tags: assistant proof
    Organization not specified
    URL https://www.aya-prover.org
    License MIT
    Dependencies amount 2
    Dependencies annotations, kala-collection,
    There are maybe transitive dependencies!
    The newest version!
    Show more of this group  Show more artifacts with this name
    Show all versions of pretty Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of pretty version 0.36.0

    META-INF
    META-INF.META-INF.MANIFEST.MF
    aya-html
    aya-html.aya-html.highlight-fn.js
    aya-html.aya-html.highlight-occurrences.js
    aya-html.aya-html.hover-tooltip.css
    aya-html.aya-html.hover.css
    aya-html.aya-html.katex-auto-render.js
    aya-html.aya-html.katex.html
    aya-html.aya-html.show-tooltip-fn.js
    aya-html.aya-html.show-tooltip.js
    .module-info
    org.aya.pretty.backend.html
    org.aya.pretty.backend.html.org.aya.pretty.backend.html.DocHtmlPrinter
    org.aya.pretty.backend.html.org.aya.pretty.backend.html.Html5Stylist
    org.aya.pretty.backend.html.org.aya.pretty.backend.html.HtmlConstants
    org.aya.pretty.backend.latex
    org.aya.pretty.backend.latex.org.aya.pretty.backend.latex.DocTeXPrinter
    org.aya.pretty.backend.latex.org.aya.pretty.backend.latex.TeXStylist
    org.aya.pretty.backend.md
    org.aya.pretty.backend.md.org.aya.pretty.backend.md.DocMdPrinter
    org.aya.pretty.backend.md.org.aya.pretty.backend.md.MdStyle
    org.aya.pretty.backend.md.org.aya.pretty.backend.md.MdStylist
    org.aya.pretty.backend.string
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.ClosingStylist
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.Cursor
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.DebugStylist
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.StringPrinter
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.StringPrinterConfig
    org.aya.pretty.backend.string.org.aya.pretty.backend.string.StringStylist
    org.aya.pretty.backend.terminal
    org.aya.pretty.backend.terminal.org.aya.pretty.backend.terminal.AdaptiveCliStylist
    org.aya.pretty.backend.terminal.org.aya.pretty.backend.terminal.DocTermPrinter
    org.aya.pretty.backend.terminal.org.aya.pretty.backend.terminal.UnixTermStyle
    org.aya.pretty.backend.terminal.org.aya.pretty.backend.terminal.UnixTermStylist
    org.aya.pretty.doc
    org.aya.pretty.doc.org.aya.pretty.doc.Doc
    org.aya.pretty.doc.org.aya.pretty.doc.Docile
    org.aya.pretty.doc.org.aya.pretty.doc.Language
    org.aya.pretty.doc.org.aya.pretty.doc.Link
    org.aya.pretty.doc.org.aya.pretty.doc.Style
    org.aya.pretty.doc.org.aya.pretty.doc.Styles
    org.aya.pretty.error
    org.aya.pretty.error.org.aya.pretty.error.LineColSpan
    org.aya.pretty.error.org.aya.pretty.error.PrettyError
    org.aya.pretty.error.org.aya.pretty.error.PrettyErrorConfig
    org.aya.pretty.error.org.aya.pretty.error.Span
    org.aya.pretty.printer
    org.aya.pretty.printer.org.aya.pretty.printer.ColorScheme
    org.aya.pretty.printer.org.aya.pretty.printer.Printer
    org.aya.pretty.printer.org.aya.pretty.printer.PrinterConfig
    org.aya.pretty.printer.org.aya.pretty.printer.StyleFamily
    org.aya.pretty.printer.org.aya.pretty.printer.Stylist
    org.aya.pretty.style
    org.aya.pretty.style.org.aya.pretty.style.AyaColorScheme
    org.aya.pretty.style.org.aya.pretty.style.AyaStyleFamily
    org.aya.pretty.style.org.aya.pretty.style.AyaStyleKey




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy