{"library":"pyprover","install":[{"cmd":"pip install pyprover","imports":["from pyprover import expr","from pyprover import proves","from pyprover import strict_proves","from pyprover import simplify","from pyprover import strict_simplify","from pyprover import ForAll","from pyprover import Exists","from pyprover import Eq","from pyprover import props","from pyprover import terms","from pyprover import *"]}]}