Home » org.aya-prover

Group: Aya Prover
Sort by:Popular▼

1. 📁Aya Prover Upstream17 usages

org.aya-prover.upstream(12)

Aya Prover Upstream
ij-parsing-core·ij-parsing-wrapper·ij-util-text

2.Pretty9 usages

org.aya-prover » pretty MIT

The Aya proof assistant
Last Release on Sep 27, 2026

3.Tools8 usages

org.aya-prover » tools MIT

The Aya proof assistant
Last Release on Sep 27, 2026

4.Tools REPL5 usages

org.aya-prover » tools-repl MIT

The Aya proof assistant
Last Release on Sep 27, 2026

5.Parser4 usages

org.aya-prover » parser MIT

The Aya proof assistant
Last Release on Sep 27, 2026

6. 📁Aya Prover Guest0x04 usages

org.aya-prover.guest0x0(5)

Aya Prover Guest0x0
cubical·base·cube-compiler

7. 📁Aya Prover Gdx Box2d2 usages

org.aya-prover.gdx-box2d(4)

Aya Prover Gdx Box2d
box2d·core·box2c

8. 📁Aya Prover Anqur1 usages

org.aya-prover.anqur(2)

Aya Prover Anqur
base·cli

9.Base3 usages

org.aya-prover » base MIT

The Aya proof assistant
Last Release on Sep 27, 2026

10.Producer3 usages

org.aya-prover » producer MIT

The Aya proof assistant
Last Release on Sep 27, 2026

11.Tools Kala3 usages

org.aya-prover » tools-kala MIT

The Aya proof assistant
Last Release on Sep 27, 2026

12. 📁Aya Prover Box2d Editor

org.aya-prover.box2d-editor(1)

Aya Prover Box2d Editor
loader

13.CLI Impl2 usages

org.aya-prover » cli-impl MIT

The Aya proof assistant
Last Release on Sep 27, 2026

14.IDE2 usages

org.aya-prover » ide MIT

The Aya proof assistant
Last Release on Sep 27, 2026

15.JIT Compiler2 usages

org.aya-prover » jit-compiler MIT

The Aya proof assistant
Last Release on Sep 27, 2026

16.Syntax2 usages

org.aya-prover » syntax MIT

The Aya proof assistant
Last Release on Sep 27, 2026

17.Tools MD2 usages

org.aya-prover » tools-md MIT

The Aya proof assistant
Last Release on Sep 27, 2026

18.CommonMark11 usages

org.aya-prover » commonmark BSD

Commonmark-java with JPMS support
Last Release on Dec 9, 2022

19.CLI Console1 usages

org.aya-prover » cli-console MIT

The Aya proof assistant
Last Release on Sep 27, 2026

20.IDE LSP

org.aya-prover » ide-lsp MIT

The Aya proof assistant
Last Release on Sep 27, 2026