poi (cargo): A pragmatic point-free theorem prover assistant
Keywords: advancedresearch|point-free|assistant|theorem|proving