Group: org.aya-prover - All Dependencies

pretty · The Aya proof assistant

commonmark · Commonmark-java with JPMS support

tools · The Aya proof assistant

parser · The Aya proof assistant

tools-repl · The Aya proof assistant

base · The Aya proof assistant

api · The Aya proof assistant

cli · The Aya proof assistant

lsp · The Aya proof assistant

commonmark-ext-task-list-items · Commonmark-java with JPMS support

commonmark-ext-image-attributes · Commonmark-java with JPMS support

commonmark-ext-heading-anchor · Commonmark-java with JPMS support

commonmark-ext-gfm-tables · Commonmark-java with JPMS support

commonmark-ext-gfm-strikethrough · Commonmark-java with JPMS support

guest0x0-base · Guest0x0 programming language

guest0x0-cli · Guest0x0 programming language

commonmark-ext-yaml-front-matter · Commonmark-java with JPMS support

commonmark-ext-autolink · Commonmark-java with JPMS support

guest0x0-cubical · Guest0x0 programming language

cube-compiler · Guest0x0 programming language

cube-visualizer · Guest0x0 programming language

ide · The Aya proof assistant

cli-console · The Aya proof assistant

cli-impl · The Aya proof assistant