add_library(inductive inductive.cpp)
target_link_libraries(inductive ${LEAN_LIBS})
