All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • Download all versions of cubical JAR files with all dependencies


    cubical from group org.aya-prover.guest0x0 (version 0.18.0)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.18.0)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.18.0
    Last update 08. November 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.17.2)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.17.2)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.17.2
    Last update 26. September 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.17.1)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.17.1)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.17.1
    Last update 18. September 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.17.0)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.17.0)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.17.0
    Last update 18. September 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.16.3)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.16.3)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.16.3
    Last update 17. September 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.16.2)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.16.2)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.16.2
    Last update 10. September 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.16.1)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.16.1)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.16.1
    Last update 31. August 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.16)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.16)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.16
    Last update 26. August 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.15.1)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.15.1)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.15.1
    Last update 24. August 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!

    cubical from group org.aya-prover.guest0x0 (version 0.15)

    Guest0x0 programming language

    Group: org.aya-prover.guest0x0 Artifact: cubical
    Show documentation Show source 
    Download cubical.jar (0.15)
     

    0 downloads
    Artifact cubical
    Group org.aya-prover.guest0x0
    Version 0.15
    Last update 23. August 2022
    Tags: guest0x0 language programming
    Organization not specified
    URL https://www.aya-prover.org
    License GPL-3.0
    Dependencies amount 1
    Dependencies pretty,
    There are maybe transitive dependencies!


    Page 1 from 2 (items total 12)


    © 2015 - 2025 Weber Informatics LLC | Privacy Policy