You should check out sasyLF. It has a eclipse plugin as well. If you are interested in learning about proof checkers it's a good starting point. My PhD advisor

You should check out sasyLF. It has a eclipse plugin as well. If you are interested in learning about proof checkers it's a good starting point. My PhD advisor is it's maintainer.