AI tools

LF (logical framework)

ウィキペディアから