An automated equivalence reasoner for Isabelle/HOL - View it on GitHub
Star
2
Rank
3413805