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

Download all versions of pretty JAR files with all dependencies

Search JAR files by class name

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!

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

The Aya proof assistant

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

0 downloads
Artifact pretty
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 annotations, kala-collection,
There are maybe transitive dependencies!



Page 1 from 3 (items total 33)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy