SOFTWARE

FLOULIB Fuzzy logic MATLAB Library
KDTL MEREO S. Lesniewski’s mereology Coq library
KDTL SPATIAL A. Tarski’s mereogeometry Coq library