JarCasting
JarCasting JarCasting

A Simple Logic Library

A simple library for working with first order logic and natural deduction proofs

Лицензия

Лицензия
Группа

Группа

io.github.pirocks
Идентификатор

Идентификатор

nd-thing
Последняя версия

Последняя версия

0.0.7
Дата

Дата
Тип

Тип

jar
Описание

Описание

A Simple Logic Library
A simple library for working with first order logic and natural deduction proofs
Ссылка на сайт

Ссылка на сайт

https://github.com/pirocks/simple-logic-lib
Система контроля версий

Система контроля версий

https://github.com/pirocks/simple-logic-lib.git

Скачать nd-thing

Имя Файла Размер
nd-thing-0.0.7.pom
nd-thing-0.0.7.jar 199 KB
nd-thing-0.0.7-sources.jar 17 KB
nd-thing-0.0.7-javadoc.jar 419 KB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/io.github.pirocks/nd-thing/ -->
<dependency>
    <groupId>io.github.pirocks</groupId>
    <artifactId>nd-thing</artifactId>
    <version>0.0.7</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.pirocks/nd-thing/
implementation 'io.github.pirocks:nd-thing:0.0.7'
// https://jarcasting.com/artifacts/io.github.pirocks/nd-thing/
implementation ("io.github.pirocks:nd-thing:0.0.7")
'io.github.pirocks:nd-thing:jar:0.0.7'
<dependency org="io.github.pirocks" name="nd-thing" rev="0.0.7">
  <artifact name="nd-thing" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.pirocks', module='nd-thing', version='0.0.7')
)
libraryDependencies += "io.github.pirocks" % "nd-thing" % "0.0.7"
[io.github.pirocks/nd-thing "0.0.7"]

Зависимости

compile (3)

Идентификатор библиотеки Тип Версия
org.jetbrains.kotlin : kotlin-stdlib-jdk8 jar 1.3.21
org.jetbrains.kotlin : kotlin-test-junit jar 1.3.21
junit : junit jar 4.12

Модули Проекта

Данный проект не имеет модулей.

simple-logic-lib

A simple logic library. Currently a work in progress. Jars on Maven central should be working/useable.

Current Features:

  • A library for manipulating first order logic expressions.
  • Outputting to mathml/html
  • Outputing to prefix notation/easily parseable string form
  • Performing fairly simple pattern matching and pattern based rewriting.
  • Equals/hashcode implementation which handles bound variables correctly.
  • Natural deduction proof verification.
  • Kotlin DSL builder syntax for natural deduction proofs.
  • Infix builder functions for logic

Maven Dependency

<dependency>
  <groupId>io.github.pirocks</groupId>
  <artifactId>simple-logic-lib</artifactId>
  <version>0.0.7</version>
</dependency>

Feature wishlist/in progress

  • Html/mathml output for natural deduction
  • Ability to create custom rules for natural deduction
  • Better mathml output/compatibility with more browsers
  • Improved documentation
  • Usage Examples
  • Compatibility/interop with simple-algebra-lib

Версии библиотеки

Версия
0.0.7