com.luisonthekeyboard:archimedes 1.0.2

A Math Library for studying and learning

Categories	KeY Data Data Formats Formal Verification
GroupId	com.luisonthekeyboard
ArtifactId	archimedes
Version	1.0.2
Type	jar

Download archimedes 1.0.2

Filename	Size
archimedes-1.0.2.pom
archimedes-1.0.2.jar	3 KB
archimedes-1.0.2-sources.jar	3 KB
archimedes-1.0.2-javadoc.jar	364 KB

Apache Maven

<!-- https://jarcasting.com/artifacts/com.luisonthekeyboard/archimedes/ -->
<dependency>
    <groupId>com.luisonthekeyboard</groupId>
    <artifactId>archimedes</artifactId>
    <version>1.0.2</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/com.luisonthekeyboard/archimedes/
implementation 'com.luisonthekeyboard:archimedes:1.0.2'

Gradle Kotlin

// https://jarcasting.com/artifacts/com.luisonthekeyboard/archimedes/
implementation ("com.luisonthekeyboard:archimedes:1.0.2")

Apache Buildr

'com.luisonthekeyboard:archimedes:jar:1.0.2'

Apache Ivy

<dependency org="com.luisonthekeyboard" name="archimedes" rev="1.0.2">
  <artifact name="archimedes" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='com.luisonthekeyboard', module='archimedes', version='1.0.2')
)

Scala SBT

libraryDependencies += "com.luisonthekeyboard" % "archimedes" % "1.0.2"

Leiningen

[com.luisonthekeyboard/archimedes "1.0.2"]