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 Nov 18, 2025

3.Tools8 usages

org.aya-prover » tools MIT

The Aya proof assistant
Last Release on Nov 17, 2025

4.Tools REPL5 usages

org.aya-prover » tools-repl MIT

The Aya proof assistant
Last Release on Nov 17, 2025

5. 📁Aya Prover Guest0x04 usages

org.aya-prover.guest0x0(5)

Aya Prover Guest0x0
cubical·base·cube-compiler

6. 📁Aya Prover Gdx Box2d2 usages

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

Aya Prover Gdx Box2d
box2d·core·box2c

7. 📁Aya Prover Anqur1 usages

org.aya-prover.anqur(2)

Aya Prover Anqur
base·cli

8.Parser4 usages

org.aya-prover » parser MIT

The Aya proof assistant
Last Release on Nov 18, 2025

9. 📁Aya Prover Box2d Editor

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

Aya Prover Box2d Editor
loader

10.Base3 usages

org.aya-prover » base MIT

The Aya proof assistant
Last Release on Nov 18, 2025

11.Producer3 usages

org.aya-prover » producer MIT

The Aya proof assistant
Last Release on Nov 17, 2025

12.Tools Kala3 usages

org.aya-prover » tools-kala MIT

The Aya proof assistant
Last Release on Nov 17, 2025

13.CLI Impl2 usages

org.aya-prover » cli-impl MIT

The Aya proof assistant
Last Release on Nov 17, 2025

14.IDE2 usages

org.aya-prover » ide MIT

The Aya proof assistant
Last Release on Nov 18, 2025

15.JIT Compiler2 usages

org.aya-prover » jit-compiler MIT

The Aya proof assistant
Last Release on Nov 18, 2025

16.Syntax2 usages

org.aya-prover » syntax MIT

The Aya proof assistant
Last Release on Nov 17, 2025

17.Tools MD2 usages

org.aya-prover » tools-md MIT

The Aya proof assistant
Last Release on Nov 18, 2025

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 Nov 17, 2025

20.IDE LSP

org.aya-prover » ide-lsp MIT

The Aya proof assistant
Last Release on Nov 17, 2025