Group: Aya Prover

Sort: popular | newest
Group Aya Prover Upstream

2. CommonMark11 usages

org.aya-prover » commonmarkBSD

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

3. Pretty9 usages

org.aya-prover » prettyMIT

The Aya proof assistant
Last Release on Jun 9, 2024

4. Tools8 usages

org.aya-prover » toolsMIT

The Aya proof assistant
Last Release on Jun 9, 2024

5. Tools REPL5 usages

org.aya-prover » tools-replMIT

The Aya proof assistant
Last Release on Jun 9, 2024

6. Parser4 usages

org.aya-prover » parserMIT

The Aya proof assistant
Last Release on Jun 9, 2024
Group Aya Prover Guest0x0

8. Base3 usages

org.aya-prover » baseMIT

The Aya proof assistant
Last Release on Jun 9, 2024

9. Tools Kala3 usages

org.aya-prover » tools-kalaMIT

The Aya proof assistant
Last Release on Jun 9, 2024

10. Tools MD2 usages

org.aya-prover » tools-mdMIT

The Aya proof assistant
Last Release on Jun 9, 2024

11. Producer2 usages

org.aya-prover » producerMIT

The Aya proof assistant
Last Release on Jun 9, 2024

12. CLI2 usages

org.aya-prover » cliMIT

The Aya proof assistant
Last Release on Jan 14, 2023

13. CLI Impl2 usages

org.aya-prover » cli-implMIT

The Aya proof assistant
Last Release on Jun 9, 2024

14. IDE2 usages

org.aya-prover » ideMIT

The Aya proof assistant
Last Release on Jun 9, 2024

15. Syntax2 usages

org.aya-prover » syntaxMIT

The Aya proof assistant
Last Release on Jun 9, 2024
Group Aya Prover Gdx Box2d

17. Cube Compiler1 usages

org.aya-prover » cube-compilerGPL

Guest0x0 programming language
Last Release on Jun 21, 2022
Guest0x0 programming language
Last Release on May 27, 2022

19. API1 usages

org.aya-prover » apiMIT

The Aya proof assistant
Last Release on Jan 11, 2022

20. Guest0x0 Base1 usages

org.aya-prover » guest0x0-baseGPL

Guest0x0 programming language
Last Release on May 27, 2022