Группа библиотек: org.aya-prover

cube-compiler

org.aya-prover : cube-compiler

Guest0x0 programming language

Последняя версия: 0.13.2

Дата:

cube-visualizer

org.aya-prover : cube-visualizer

Guest0x0 programming language

Последняя версия: 0.13.2

Дата:

commonmark

org.aya-prover : commonmark

Commonmark-java with JPMS support

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

Последняя версия: 0.19.1

Дата:

guest0x0-base

org.aya-prover : guest0x0-base

Guest0x0 programming language

Последняя версия: 0.13

Дата:

guest0x0-cubical

org.aya-prover : guest0x0-cubical

Guest0x0 programming language

Последняя версия: 0.13

Дата:

guest0x0-cli

org.aya-prover : guest0x0-cli

Guest0x0 programming language

Последняя версия: 0.13

Дата:

pretty

org.aya-prover : pretty

The Aya proof assistant

Последняя версия: 0.18

Дата:

tools

org.aya-prover : tools

The Aya proof assistant

Последняя версия: 0.18

Дата:

tools-repl

org.aya-prover : tools-repl

The Aya proof assistant

Последняя версия: 0.18

Дата:

base

org.aya-prover : base

The Aya proof assistant

Последняя версия: 0.18

Дата:

cli

org.aya-prover : cli

The Aya proof assistant

Последняя версия: 0.18

Дата:

parser

org.aya-prover : parser

The Aya proof assistant

Последняя версия: 0.18

Дата:

lsp

org.aya-prover : lsp

The Aya proof assistant

Последняя версия: 0.18

Дата:

api

org.aya-prover : api

The Aya proof assistant

Последняя версия: 0.15

Дата:

  • 1