Packages

isabelle_elixir

0.4.1

0.4.1 0.4.0 0.3.0 0.2.0 0.1.0

Elixir client for the Isabelle proof assistant

HexDocs

Current section

Files

Jump to

Readme 5 Versions 0 Dependencies Dependants Files Activity

isabelle_elixir CHANGELOG.md

Raw

CHANGELOG.md

# Changelog

## 0.4.1

- Fixed `IsabelleClient.TPTP` theory lookup when the library is used from an escript.

## 0.4.0

- Require Elixir `~> 1.20`. Compiled with Elixir 1.20.1 on Erlang/OTP 29.
- Fixed bug in the "shared" client where replies became desynchronized after a timeout (see livebook "ClientShared").
- Added Module `IsabelleClient.TPTP` with convenient TPTP-related functionality.

Search filters

Type any of these into the search box. They can be combined with free text which searches package names and descriptions.

Operator	Description	Example
name:	Match package name. Supports * wildcards and repo/package form	name:phx* or name:hexpm/phoenix
description:	Full-text search of package descriptions	description:auth
depends:	Packages depending on a given package. Supports repo:package form	depends:ecto or depends:hexpm:ecto
build_tool:	Filter by build tool	build_tool:mix
updated_after:	Packages updated after an ISO8601 datetime	updated_after:2025-01-01T00:00:00Z
extra:	Match custom metadata (key,value). Nested keys are separated by commas	extra:license,MIT

Wrap values in double quotes to include spaces, e.g. name:"my package".