com.luisonthekeyboard:archimedes 1.0.4

A Math Library for studying and learning

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

Download archimedes 1.0.4

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

Apache Maven

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

Gradle Groovy

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

Gradle Kotlin

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

Apache Buildr

'com.luisonthekeyboard:archimedes:jar:1.0.4'

Apache Ivy

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

Groovy Grape

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

Scala SBT

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

Leiningen

[com.luisonthekeyboard/archimedes "1.0.4"]