Projects tagged with logic

SudokuStudyLib Not built yet
SudokuStudyLib-en Not built yet
tensor-theorem-prover Last built 1 year, 1 month ago		latest #19880451 latest #19880451 1 year, 1 month ago 269d0c19 210 seconds
Terms Last built 7 years, 1 month ago		latest #5291273 latest #5291273 7 years, 1 month ago 26d6bccc 67 seconds

1

2