Movatterモバイル変換

[0]ホーム
URL:

packageabella

  1. Overview
  2. Docs

You can search for identifiers within the package.

in-package search v0.2.0

Interactive theorem prover based on lambda-tree syntax

Install

Dune Dependency

Authors

Maintainers

Sources

v2.0.8.tar.gz
md5=91d1ed5ad95aab58c410e76e2e5516eb
sha512=a8e0e661e299f6c4dc16b9f040839cd6bdcc50705c2ddc95e69da47e1aaaed55ba6724afeb0d08639071e73a1161ee06ff71c06f170f660b07103ba54518db78

Description

Published:01 Nov 2023

Dependencies (6)

  1. crunch>= "3.3.0" & build
  2. dune>= "3.11"
  3. yojson>= "2.1.1"
  4. menhir>= "20211012"
  5. cmdliner>= "1.2.0"
  6. ocaml>= "4.12.0"

Dev Dependencies (1)

  1. ounit2with-test

Used by

None

Conflicts

None

[8]ページ先頭
©2009-2025 Movatter.jp