Poi: Pragmatic point-free theorem prover assistant in Rustgithub.com/advancedresearch71 pointsadamnemecek6 years ago