These files are containing the class Render.`;

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.19

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.18

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

null

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.14
Last update 03. February 2024
Tags: "null"
Organization not specified
URL https://kensa.dev
License Apache License, Version 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-reflect, antlr4,
There are maybe transitive dependencies!

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

null

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.13
Last update 04. January 2024
Tags: "null"
Organization not specified
URL https://kensa.dev
License Apache License, Version 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-reflect, antlr4,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.30.0
Last update 04. January 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.999
Last update 13. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.4

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.3
Last update 01. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

dev.kensa.render.diagram.directive.UmlHideUnlinked

dev.kensa.render.diagram.directive.UmlParticipant

dev.kensa.render.RenderedInteraction

null

Group: dev.kensa Artifact: kensa
Show documentation Show source

0 downloads

Artifact kensa
Group dev.kensa
Version 0.4.12
Last update 24. November 2023
Tags: "null"
Organization not specified
URL https://kensa.dev
License Apache License, Version 2.0
Dependencies amount 3
Dependencies kotlin-stdlib-jdk8, kotlin-reflect, antlr4,
There are maybe transitive dependencies!

org.aya.cli.render.RenderOptions

org.aya.cli.render.vscode.VscColorTheme

org.aya.cli.render.vscode.ColorTheme

The Aya proof assistant

Group: org.aya-prover Artifact: cli-impl
Show documentation Show source

0 downloads

Artifact cli-impl
Group org.aya-prover
Version 0.29.2
Last update 08. November 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 3
Dependencies base, parser, gson,
There are maybe transitive dependencies!

Page 364 from 2535 (items total 25349)