Main Lemma Repository
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Trevor Irons f1786652b3 More progress to CMake port. The Yaml library seems to be passed around and installed locally or globally based on configuration. 8 anni fa
LemmaCore More progress to CMake port. The Yaml library seems to be passed around and installed locally or globally based on configuration. 8 anni fa
include Testing CMake build, just getting going. 8 anni fa
src Testing CMake build, just getting going. 8 anni fa
CMakeLists.txt More progress to CMake port. The Yaml library seems to be passed around and installed locally or globally based on configuration. 8 anni fa
test Here is my first commit 8 anni fa