Group: org.aya-prover - All Dependencies

icon
ide-lsp 0.29.1
@org.aya-prover

ide-lsp · The Aya proof assistant

May 31, 2023
281 stars
icon
tools-md 0.29.1
@org.aya-prover

tools-md · The Aya proof assistant

May 31, 2023
281 stars
icon
tools-kala 0.30.0
@org.aya-prover

tools-kala · The Aya proof assistant

Jan 04, 2024
281 stars
icon
jit-compiler 0.31.0
@org.aya-prover

jit-compiler · The Aya proof assistant

May 29, 2024
281 stars
icon
producer 0.31.0
@org.aya-prover

producer · The Aya proof assistant

May 29, 2024
281 stars
icon
syntax 0.31.0
@org.aya-prover

syntax · The Aya proof assistant

May 29, 2024
281 stars

Advertisement

Top Dependency Usages

junit
icon @junit
Feb 13, 2021
95.1k usages
8.5k stars
scala-library
icon @org.scala-lang
Jun 02, 2023
69.4k usages
14.3k stars
slf4j-api
icon @org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
icon @com.google.guava
Jul 31, 2023
27.1k usages
50.1k stars
logback-classic
icon @ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯