add_library(hott_kernel hott.cpp)
target_link_libraries(hott_kernel ${LEAN_LIBS})
