All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download all versions of base JAR files with all dependencies

Search JAR files by class name

base from group org.aya-prover (version 0.33.0)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.33.0
Last update 09. June 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.32.0)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.32.0
Last update 03. June 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.31.0)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.31.0
Last update 29. May 2024
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.30.0)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
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 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29.999)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
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 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29.4)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.29.4
Last update 13. December 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29.3)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
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 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29.2)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
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 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29.1)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.29.1
Last update 31. May 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!

base from group org.aya-prover (version 0.29)

The Aya proof assistant

Group: org.aya-prover Artifact: base
Show documentation Show source 
 

0 downloads
Artifact base
Group org.aya-prover
Version 0.29
Last update 06. May 2023
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!



Page 1 from 3 (items total 33)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy