• Poi 0.15 released! New mode for goal oriented theorem proving https://crates.io/crates/poi 5 comments 19/9/2020 rust