name: poi
description: A pragmatic point-free theorem prover assistant
license_spdx: MIT or Apache-2.0
version: 0.9.0
spec_version: 1.0
download_url: https://crates.io/api/v1/crates/poi/0.9.0/download
home_url: https://github.com/advancedresearch/poi
news_url: https://libraries.io/cargo/poi/versions.atom
date: 2020-05-28
about_resource: NONE
libraries_io_url: https://libraries.io/cargo/poi?number=0.9.0
vcs_tool: git
vcs_repository: https://github.com/advancedresearch/poi
vcs_branch: master
