[]
= "1.0.0"
[]
= ["Sven Nilsen <bvssvni@gmail.com>"]
= "A pragmatic point-free theorem prover assistant"
= "2018"
= "https://github.com/advancedresearch/poi"
= ["advancedresearch", "theorem", "proving", "assistant", "point-free"]
= "MIT OR Apache-2.0"
= "poi"
= "README.md"
= "https://github.com/advancedresearch/poi.git"
= "0.9.0"