Leo provers and associated projects

icon indicating a website link leoprover.org

icon location LEO-II and Leo-III are automated theorem provers for classical higher-order logic.

Results 0 comments of Leo provers and associated projects